Balasubramanian, D., C. S. Pasareanu, M. W. Whalen, G. Karsai, and M. Lowry,
"Polyglot: Modeling and Analysis for Multiple Statechart Formalisms",
International Symposium on Software Testing and Analysis (ISSTA), Toronto, Canada, 07/2011.
Abstract
Download: ISSTA2011.pdf (1.53 MB)
Balasubramanian, D., C. S. Pasareanu, J. Biatek, T. Pressburger, G. Karsai, M. R. Lowry, and M. W. Whalen,
"Integrating Statechart Components in Polyglot",
NASA Formal Methods, vol. 7226, Norfolk, VA, Springer, 04/2012.
Abstract