_id,doi,title
4507,10.1007/BFb0031995,Timed transition systems