Balasubramanian, D. ., Pap, G. ., Nine, H. ., Karsai, G. ., Lowry, M. ., Pasareanu, C. ., & Pressburger, T. . (2011). Rapid Property Specification and Checking for Model-Based Formalisms. In IEEE International Symposium on Rapid System Prototyping. Karlsruhe, Germany. (Original work published May 2011)