SESL

State and Event Specification Language. [?]