Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.org/. To cite this software publication: https://www.sciencedirect.com/science/article/pii/S2352711020303034 - View it on GitHub