Henzinger, T. A., Qadeer, S., &; Rajamani, S. (1999). Verifying sequential consistency on shared-memory multiprocessor systems. In Proceedings of the 11th International Conference on Computer Aided Verification (Vol. 1633, pp. 301–315). Trento, Italy: Springer.https://doi.org/10.1007/3-540-48683-6_27 

Henzinger, T. A., Qadeer, S., &; Rajamani, S. (1999). Assume-guarantee refinement between different time scales. In Proceedings of the 11th International Conference on Computer Aided Verification (Vol. 1633, pp. 208–221). Trento, Italy: Springer.https://doi.org/10.1007/3-540-48683-6_20