DOI,IST REx ID,Title of publication
10.1007/3-540-63166-6_48,4494,HyTech: A model checker for hybrid systems
10.1007/3-540-63166-6_34,4608,Partial-order reduction in symbolic state-space exploration