@misc{indiciae54ecc0cce658,
  title = {Service Choreography, SBVR, and Time},
  author = {Nurulhuda A. Manaf and Sotiris Moschoyiannis and Paul Krause},
  year = {2015},
  doi = {10.4204/eptcs.201.5},
  url = {https://arxiv.org/abs/1512.07685},
  note = {Source identifier: 1512.07685}
}