Lazy linear hybrid automaton
 
x
OK