DOI,IST REx ID,Title of publication
10.1007/s100090050008,4493,HyTech: A model checker for hybrid systems