Techniken zur Modellierung und Verifikation von Echtzeitsystemen - Ruf, Jürgen (Logos-Verl., 2000)
Zugl.: Karlsruhe, Univ., Diss., 1999