_id,doi,title
4440,10.1007/3-540-58468-4_173,Verification methods for the divergent runs of clock systems
4501,10.1006/inco.1994.1060,Temporal proof methodologies for timed transition systems
4503,10.1006/inco.1994.1045,Symbolic model checking for real-time systems