@InProceedings{J98,
  author = 	 {Jensen, R.M.},
  title = 	 {Specification and Verification of Complex Robotics Tasks},
  booktitle = 	 {Proceedings of the {ESSLLI-98} workshop on Duration 
                  Calculus: A Logical Approach to Real-Time Systems},
  year =	 1998,
  pages =	 {78-89}
}