Henzinger, Thomas A., and Howard Wong Toi. “Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems.”10.1007/BFb0020961__Hybrid Systems III: Verification and Control, edited by Rajeev Alur et al., vol. 1066, Springer, 1996, pp. 377–88, doi:10.1007/BFb0020961.

Henzinger, Thomas A., and Howard Wong Toi. “Using HyTech to Synthesize Control Parameters for a Steam Boiler.”10.1007/BFb0027241__Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, vol. 1165, Springer, 1996, pp. 265–82, doi:10.1007/BFb0027241.

Henzinger, Thomas A., and Peter Kopke. “State Equivalences for Rectangular Hybrid Automata.”10.1007/3-540-61604-7_74__7th International Conference on Concurrency Theory, vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–45, doi:10.1007/3-540-61604-7_74.

Henzinger, Thomas A., et al. “A Space-Efficient on-the-Fly Algorithm for Real-Time Model Checking.”10.1007/3-540-61604-7_73__7th International Conference on Concurrency Theory, vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–29, doi:10.1007/3-540-61604-7_73.

Henzinger, Thomas A. “The Theory of Hybrid Automata.”10.1109/LICS.1996.561342 __Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 278–92, doi:10.1109/LICS.1996.561342 .

Henzinger, Thomas A., and Rajeev Alur, editors. 10.1007/3-540-61474-5__8th International Conference on Computer Aided Verification. Vol. 1102, Springer, 1996, doi:10.1007/3-540-61474-5.

Alur, Rajeev, and Thomas A. Henzinger. “Reactive Modules.”10.1109/LICS.1996.561320__Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 207–18, doi:10.1109/LICS.1996.561320.

Alur, Rajeev, et al. “Automatic Symbolic Verification of Embedded Systems.”10.1109/32.489079__IEEE Transactions on Software Engineering, vol. 22, no. 3, IEEE, 1996, pp. 181–201, doi:10.1109/32.489079.

Alur, Rajeev, et al. “The Benefits of Relaxing Punctuality.”10.1145/227595.227602__Journal of the ACM, vol. 43, no. 1, ACM, 1996, pp. 116–46, doi:10.1145/227595.227602.

Alur, Rajeev, et al., editors. Hybrid Systems III: Verification and Control. Vol. 1066, Springer, 1996, doi:10.1007/BFb0020931.

de Bono, Mario, and J. Hodgkin. “Evolution of Sex Determination in Caenorhabditis: Unusually High Divergence of Tra-1 and Its Functional Consequences.” Genetics, vol. 144, no. 2, Genetics Society of America, 1996, pp. 587–95.