Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani: Typing Component-Based Communication Systems. FMOODS/FORTE 2009: 167-181