The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems.

Vince Molnr, Bence Graics, Andrs Vrs, Istvn Majzik, Dniel Varr

Browse the full ICSE paper archive.