@InProceedings{BK96,
  author = 	 {C.~Baier and M.Z.~Kwiatkowska},
  title = 	 {On Topological
      Hierarchies of Temporal Properties},
  booktitle = 	 {DIMACS Workshop
      on Partial Order Methods in Verification (POMIV'96)},
  pages =	 {141-170},
  year =	 1996,
  editor =	 {D. Peled, and V. Pratt and
      G. Holzmann},
  volume =	 29,
  series =	 {Discrete Mathematics and
      Theoretical Computer Science},
  publisher =	 {Mathematical Society}
}