DOI,IST REx ID,Title of publication
10.1145/99583.99629,4508,Temporal proof methodologies for real-time systems