_id,doi,title
4443,10.1007/3-540-61604-7_74,State equivalences for rectangular hybrid automata