Deadlock-freedom in component systems with architectural constraints Moritz MartensMila Majster-Cederbaum OriginalPaper 16 May 2012 Pages: 129 - 177
Probabilistic contracts for component-based design Gregor GösslerDana N. XuAlain Girault OriginalPaper 04 July 2012 Pages: 211 - 231