dd_statechart (cargo): A Data-Driven implementation of Harel Statecharts designed for high-reliability systems.
Keywords: harel|scxml|state|statechart|machine|harel-statechart|high-availability|state-machine