1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
machine SIREN [ states [ ON , OFF ]; events [ ECHO , TURN_OFF , TURN_ON ]; starting on ON ; transitions [ from ON to OFF on event TURN_OFF; from OFF to ON on event TURN_ON; from ON to ON on event ECHO execute echo ; ]; ];