_id,doi,title
4470,10.1007/3-540-45828-X_7,Time-safety checking for embedded programs
4471,10.1007/3-540-45465-9_55,Synthesis of uninitialized systems
4472,10.1007/3-540-45657-0_45,Temporal safety proofs for systems code
4473,10.1145/509705.509707,An assume-guarantee rule for checking simulation
4474,10.1006/inco.2001.3085,Fair simulation
4476,10.1145/503272.503279,Lazy abstraction