Complex Real-Time and Embedded Systems - The UML and DORIS Combination, Real-Time Systems, Vol. 26, No. 2, 135-159, ISSN 0922-6443 External links The Official Handbook of Mascot : Version 3.1 : June 1987 Software development process