_id,doi,title
4593,10.1007/BFb0031984,Logics and models of real time: A survey