Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier: A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems. SOFSEM (1) 2007: 888-899