@misc{indiciae90f9ac4c3a76,
  title = {Synthesis of correct adaptors for protocol enhancement in component-based systems},
  author = {Marco Autili and Paola Inverardi and Massimo Tivoli and David Garlan},
  year = {2015},
  url = {https://arxiv.org/abs/1504.07504},
  note = {Source identifier: 1504.07504}
}