DOI,IST REx ID,Title of publication
10.1007/3-540-61604-7_74,4443,State equivalences for rectangular hybrid automata