@inproceedings{BS11,
title = {Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems },
author = {Bliudze, Simon and Sifakis, Joseph},
year = {2011},
booktitle = {Software Composition - 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings},
pages = {51-67},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6708},
team = {DCS, RSD},
}