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)