1. Synthesizing Glue Operators from GlueConstraints for the Construction of Component-Based Systems Simon Bliudze and Joseph Sifakis Z¨rich, June 30th , 2011u 2.…