_id,doi,title
4608,10.1007/3-540-63166-6_34,Partial-order reduction in symbolic state-space exploration
4494,10.1007/3-540-63166-6_48,HyTech: A model checker for hybrid systems