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 ; ]; ];