@InCollection{BK00,
  author = 	 {C. Baier and M.Z. Kwiatkowska},
  title = 	 {On Topological
	  Hierarchies of Temporal Properties},
  booktitle = 	 {Fundamentae
	Informaticae},
  pages =	 {259-294},
  publisher =	 {IOS Press},
  year =	 2000,
  volume =	 41
}