_id,doi,title
4472,10.1007/3-540-45657-0_45,Temporal safety proofs for systems code