Spezifikation reaktiver Systeme durch temporal stratifizierte Programme - Malik, Robi 1968-; Mayer, Otto (Universität <Kaiserslautern> / Fachbereich Informatik: Interner Bericht, 1994)