@misc{indiciae0543c6011241,
  title = {Specification and Verification of Context-dependent Services},
  author = {Naseem Ibrahim and Vangalur Alagar and Mubarak Mohammad},
  year = {2011},
  doi = {10.4204/eptcs.61.2},
  url = {https://arxiv.org/abs/1108.2349},
  note = {Source identifier: 1108.2349}
}