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)

Balasubramanian, D., Pasareanu, C. S., Whalen, M. W., Karsai, G., & Lowry, M. (2011). Polyglot: Modeling and Analysis for Multiple Statechart Formalisms. In International Symposium on Software Testing and Analysis (ISSTA). Toronto, Canada. (Original work published July 2011)

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)

Hartsell, C., Karsai, G., & Lowry, M. (2017). Timing Analysis of a Middleware-based System. In Proceedings of the 16th Workshop on Adaptive and Reflective Middleware (pp. 5:1–5:6). New York, NY, USA: ACM.