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. ., Pasareanu, C. S., Biatek, J. ., Pressburger, T. ., Karsai, G. ., Lowry, M. R., & Whalen, M. W. (2012). Integrating Statechart Components in Polyglot. NASA Formal Methods. Norfolk, VA: Springer. (Original work published April 2012)