Simon Bliudze Joseph Sifakis The algebra of connectors: structuring interaction in BIP. 11-20 2007 EMSOFT http://doi.acm.org/10.1145/1289927.1289935 conf/emsoft/2007 db/conf/emsoft/emsoft2007.html#BliudzeS07