An object-oriented modelling technique for analysis and design of complex (real-time) systems / Adrianus Cornelis Verschueren
An object-oriented modelling technique for analysis and design of complex (real-time) systems