DOI,IST REx ID,Title of publication
null,4516,The temporal specification and verification of real-time systems