machine flicker
[
states [ light_off , light_on ];
events [ one_second ];
starting on light_on;
transitions
[
from light_on to light_off on event one_second
execute turn_off_light;
from light_off to light_on on event one_second
execute turn_on_light;
];
];