Sismic Interactive State Machine Interpreter and Checker
https://github.com/AlexandreDecan/sismic
1.3.0