Sílvio Bacalá Júnior, Stéphane Julia. Object Oriented Software Architecture Design based on UML/Petri Net approach for deadlock prevention of Real Time Systems. J. Comput. Meth. in Science and Engineering, 5(4):67-83, 2005. [doi]
Abstract is missing.