Problem
Consider the Delay component called OddDelay has a Boolean input variable in, a Boolean output variable out, and two Boolean state variables x and y. The state variables are initialized to False, and the reaction description is given by:
if y then out := x else out := False;
x := in;
y := ¬y.
How to specify state machine for this component and what state machine to use?