SESL(ID:2495/ses002)

State and Event Specification Language. [?]