DOI,IST REx ID,Title of publication
10.1007/3-540-46419-0_11,4435,Symbolic model checking for rectangular hybrid systems