Henzinger, T. A., Qadeer, S., &; Rajamani, S. (2000). Decomposing refinement proofs using assume-guarantee reasoning. In Proceedings of the 2000 International Conference on Computer-Aided Design (pp. 245–252). San Jose, CA, USA: IEEE.https://doi.org/10.1109/ICCAD.2000.896481