fsmdl

Finite state machine description language