Farhad Arbab Sun Meng Synthesis of Connectors from Scenario-Based Interaction Specifications. 114-129 2008 CBSE http://dx.doi.org/10.1007/978-3-540-87891-9_8 conf/cbse/2008 db/conf/cbse/cbse2008.html#ArbabM08