Balasubramanian, D. . (2013). "Polyglot: Systematic Analysis for Multiple Statechart Formalisms". In N. . Piterman & S. . Smolka (Eds.), International Conference on Tools and Algorithms for the Construction and Analysis of Systems (pp. 523–529). Berlin, Heidelberg: Springer Berlin Heidelberg. Retrieved from https://link.springer.com/chapter/10.1007/978-3-642-36742-7_36