@inproceedings{autili2013model, title={A model-based synthesis process for choreography realizability enforcement}, author={Autili, Marco and Di Ruscio, Davide and Di Salle, Amleto and Inverardi, Paola and Tivoli, Massimo}, booktitle={International Conference on Fundamental Approaches to Software Engineering}, pages={37--52}, year={2013}, organization={Springer} }