Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA+. - Lutz Sommerfeld; Peter B. Ladkin (FBT, 1997)