DOI,IST REx ID,Title of publication
10.1007/BFb0031995,4507,Timed transition systems