EITeL - ein intervallbasierter temporallogischer Ansatz - Spies, Klaus; Mayer, Otto (1992)