Assume-Guarantee Refinement Between Different Time Scales

@inproceedings{Henzinger1999AssumeGuaranteeRB,
  title={Assume-Guarantee Refinement Between Different Time Scales},
  author={Thomas A. Henzinger and Shaz Qadeer and Sriram K. Rajamani},
  booktitle={CAV},
  year={1999}
}