DOI,IST REx ID,Title of publication
10.1007/3-540-64358-3_40,4429,Reachability verification for hybrid automata