_id,doi,title 4546,10.1145/1403375.1403595,Logical reliability of interacting real-time tasks