EITeL - ein intervallbasierter temporallogischer Ansatz - Spies, Klaus; Mayer, Otto (Universität <Kaiserslautern> / Fachbereich Informatik: Interner Bericht, 1992)