Үүнийг мессежээр илгээх: Modeling reactive systems with statecharts: the statemate approach