Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.”https://doi.org/10.1145/585265.585270__Journal of the ACM. ACM, 2002.https://doi.org/10.1145/585265.585270 .

Henzinger, Thomas A, Sriram Krishnan, Orna Kupferman, and Freddy Mang. “Synthesis of Uninitialized Systems.”https://doi.org/10.1007/3-540-45465-9_55__In Proceedings of the 29th International Colloquium on Automata, Languages and Programming, 2380:644–56. Springer, 2002.https://doi.org/10.1007/3-540-45465-9_55 .

Henzinger, Thomas A, Orna Kupferman, and Sriram Rajamani. “Fair Simulation.”https://doi.org/10.1006/inco.2001.3085__Information and Computation. Elsevier, 2002.https://doi.org/10.1006/inco.2001.3085 .

Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, Marcin Jurdziski, and Freddy Mang. “Interface Compatibility Checking for Software Modules.”https://doi.org/10.1007/3-540-45657-0_35__In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:428–41. Springer, 2002.https://doi.org/10.1007/3-540-45657-0_35 .

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 .