@inproceedings{autili2015automated,
  title={Automated synthesis of application-layer connectors from automata-based specifications},
  author={Autili, Marco and Inverardi, Paola and Mignosi, Filippo and Spalazzese, Romina and Tivoli, Massimo},
  booktitle={International Conference on Language and Automata Theory and Applications},
  pages={3--24},
  year={2015},
  organization={Springer}
}