A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and F. Mang, “Synchronous and bidirectional component interfaces,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 414–427.
LibreCat: https://research-explorer.ista.ac.at/record/4562
DOI: 10.1007/3-540-45657-0_34

T. A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, and W. Weimer, “Temporal safety proofs for systems code,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 526–538.
LibreCat: https://research-explorer.ista.ac.at/record/4472
DOI: 10.1007/3-540-45657-0_45