Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.org/ - View it on GitHub