Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling.

Karla Vanessa Morris Wright, Thai Son Hoang, Colin F. Snook, Michael J. Butler

Browse the full ICTAC paper archive.