Massimo Tivoli Paola Inverardi Failure-free coordinators synthesis for component-based architectures. 181-212 2008 71 Sci. Comput. Program. 3 http://dx.doi.org/10.1016/j.scico.2008.03.001 db/journals/scp/scp71.html#TivoliI08