Polyglot: modeling and analysis for multiple Statechart formalisms.

Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry

Browse the full ISSTA paper archive.