An object-oriented modelling technique for analysis and design of complex (real-time) systems : proefschrift - Verschueren, Adrianus Cornelis (Technische Universiteit Eindhoven, 1992)