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