@article{tivoli2008failure, title={Failure-free coordinators synthesis for component-based architectures}, author={Tivoli, Massimo and Inverardi, Paola}, journal={Science of Computer Programming}, volume={71}, number={3}, pages={181--212}, year={2008}, publisher={Elsevier} }