DOI,IST REx ID,Title of publication
10.1006/inco.1994.1045,4503,Symbolic model checking for real-time systems