Object Oriented Software Architecture Design based on UML/Petri Net approach for deadlock prevention of Real Time Systems. - Sílvio Bacalá Júnior; Stéphane Julia (J. Comput. Methods Sci. Eng., 2005)