@misc{indiciae7acabe99dc91,
  title = {Monitoring Assumptions in Assume-Guarantee Contracts},
  author = {Oleg Sokolsky and Teng Zhang and Insup Lee and Michael McDougall},
  year = {2016},
  doi = {10.4204/eptcs.208.4},
  url = {https://arxiv.org/abs/1606.00505},
  note = {Source identifier: 1606.00505}
}