@inproceedings{fidge:mpc98,
  title = "A Set-Theoretic Model for Real-Time Specification and Reasoning",
  author = "C. J. Fidge and I. J. Hayes and A. P. Martin and A. K. Wabenhorst",
  year = "1998",
  booktitle = "Mathematics of Program Construction (MPC'98)",
  editor = "J. Jeuring",
  pages = "188--206",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "1422",
}