have to be restarted by a rising edge at Execute . :
react to a rising edge at the x
as we expect: 5 rising edges [...] with rising edges xDone :=
for Reset Wait for rising trigger edge to Reset
be acknowledged by a rising trigger edge
Trapezoid , but rising or falling edges
