@inproceedings{1186,
  author = {Daniel Balasubramanian},
  editor = {Nir Piterman and Scott Smolka},
  title = {"Polyglot: Systematic Analysis for Multiple Statechart Formalisms"},
  abstract = {<p>Polyglot is a tool for the systematic analysis of systems integrated from components built using multiple Statechart formalisms. In Polyglot, Statechart models are translated into a common Java representation with pluggable semantics for different Statechart variants. Polyglot is tightly integrated with the Java Pathfinder verification tool-set, providing analysis and test-case generation capabilities. The tool has been applied in the context of safety-critical software systems whose interacting components were modeled using multiple Statechart formalisms.</p>},
  year = {2013},
  journal = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  pages = {523-529},
  publisher = {Springer Berlin Heidelberg},
  address = {Berlin, Heidelberg},
  isbn = {978-3-642-36742-7},
  url = {https://link.springer.com/chapter/10.1007/978-3-642-36742-7_36},
}