De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “Discounting the Future in Systems Theory.”https://doi.org/10.1007/3-540-45061-0_79__In Proceedings of the 30th International Colloquium on Automata, Languages and Programming, 2719:1022–37. Springer, 2003.https://doi.org/10.1007/3-540-45061-0_79 .

Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Control.”https://doi.org/10.1007/3-540-45061-0_69__In Proceedings of the 30th International Colloquium on Automata, Languages and Programming, 2719:886–902. Springer, 2003.https://doi.org/10.1007/3-540-45061-0_69 .