Antonio Monzon, José L. Fernández-Sánchez. Deadlock risk assessment in architectural models of real-time systems. In IEEE Fourth International Symposium on Industrial Embedded Systems - SIES 2009, Ecole Polytechnique Federale de Lausanne, Switzerland, July 8 - 10, 2009. pages 181-190, IEEE, 2009. [doi]
Abstract is missing.