Promela parser using PLY (Python lex-yacc)
Synthesis of discrete dynamical systems from multi-paradigm specifications