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 2011 22nd IEEE International Symposium on Rapid System Prototyping (pp. 121–127). Karlsruhe, Germany: IEEE. http://doi.org/10.1109/RSP.2011.5929985 (Original work published May 2011)