Debjyoti Bera, Kees M. van Hee, Michiel van Osch, Jan Martijn E. M. van der Werf: A Component Framework where Port Compatibility Implies Weak Termination. PNSE 2011: 152-166