"Applying Deadlock Risk Assessment in Architectural Models of Real-Time Systems" - Fernandez Sanchez, Jose Luis (Proceedings - 2009 Ieee International Symposium On Industrial Embedded Systems, Sies 2009, 2010)