DOI,IST REx ID,Title of publication
10.1145/1403375.1403595,4546,Logical reliability of interacting real-time tasks