Henzinger, T. A., Qadeer, S., Rajamani, S., &; Tasiran, S. (1998). An assume-guarantee rule for checking simulation. In Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design (Vol. 1522, pp. 421–432). Palo Alto, CA, United States of America: Springer.https://doi.org/10.1007/3-540-49519-3_27