Chakrabarti, A., De Alfaro, L., Henzinger, T. A., &; Mang, F. (2002). Synchronous and bidirectional component interfaces. In Proceedings of the 14th International Conference on Computer Aided Verification (Vol. 2404, pp. 414–427). Copenhagen, Denmark: Springer.https://doi.org/10.1007/3-540-45657-0_34 

Henzinger, T. A., Necula, G., Jhala, R., Sutre, G., Majumdar, R., &; Weimer, W. (2002). Temporal safety proofs for systems code. In Proceedings of the 14th International Conference on Computer Aided Verification (Vol. 2404, pp. 526–538). Copenhagen, Denmark: Springer.https://doi.org/10.1007/3-540-45657-0_45