_id,doi,title
4484,10.1007/3-540-48683-6_27,Verifying sequential consistency on shared-memory multiprocessor systems
4487,10.1007/3-540-48683-6_20,Assume-guarantee refinement between different time scales