_id,doi,title
4433,10.1007/3-540-46419-0_21,Fair bisimulation
4435,10.1007/3-540-46419-0_11,Symbolic model checking for rectangular hybrid systems