Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang. “Synchronous and Bidirectional Component Interfaces.”https://doi.org/10.1007/3-540-45657-0_34__In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:414–27. Springer, 2002.https://doi.org/10.1007/3-540-45657-0_34 .
LibreCat: https://research-explorer.ista.ac.at/record/4562
DOI: 10.1007/3-540-45657-0_34

Henzinger, Thomas A, George Necula, Ranjit Jhala, Grégoire Sutre, Ritankar Majumdar, and Westley Weimer. “Temporal Safety Proofs for Systems Code.”https://doi.org/10.1007/3-540-45657-0_45__In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:526–38. Springer, 2002.https://doi.org/10.1007/3-540-45657-0_45 .
LibreCat: https://research-explorer.ista.ac.at/record/4472
DOI: 10.1007/3-540-45657-0_45