Interval-based techniques for the specification and analysis of real-time requirements. - Süleyman Mete Çeliktin (1994)