@inproceedings{calinescu_johnson_rafiq_2013, 
  title={Developing self-verifying service-based systems}, 
  DOI={10.1109/ase.2013.6693145}, 
  publisher={IEEE}, 
  author={Calinescu and Johnson and Rafiq}, 
  year={2013}
  }