SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts.

Reinhard von Hanxleden, Bjrn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaqun Aguado, Stephen Mercer, Owen O'Brien

Browse the full PLDI paper archive.