MEGATRON

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

];