DOI,IST REx ID,Title of publication
10.1007/3-540-45657-0_45,4472,Temporal safety proofs for systems code
10.1007/3-540-45657-0_34,4562,Synchronous and bidirectional component interfaces