DOI,IST REx ID,Title of publication
10.1109/LICS.1992.185551,4505,Symbolic model checking for real-time systems