Jürgen Ruf: Techniken zur Modellierung und Verifikation von Echtzeitsystemen. Logos-Verlag Karlsruhe Institute of Technology, Germany 2000, ISBN 978-3-89722-325-7, 1-230