@article{autili2018choreography,
  title={Choreography realizability enforcement through the automatic synthesis of distributed coordination delegates},
  author={Autili, Marco and Inverardi, Paola and Tivoli, Massimo},
  journal={Science of Computer Programming},
  volume={160},
  pages={3--29},
  year={2018},
  publisher={Elsevier}
}