Henzinger, T. A., &; Wong Toi, H. (1996). Linear phase-portrait approximations for nonlinear hybrid systems. In R. Alur, T. A. Henzinger, &; E. Sontag (Eds.), Hybrid Systems III: Verification and Control (Vol. 1066, pp. 377–388). Springer.https://doi.org/10.1007/BFb0020961 

Henzinger, T. A., &; Wong Toi, H. (1996). Using HyTech to synthesize control parameters for a steam boiler. In Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Vol. 1165, pp. 265–282). Springer.https://doi.org/10.1007/BFb0027241 

Henzinger, T. A., &; Kopke, P. (1996). State equivalences for rectangular hybrid automata. In 7th International Conference on Concurrency Theory (Vol. 1119, pp. 530–545). Pisa, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/3-540-61604-7_74 

Henzinger, T. A., Kupferman, O., &; Vardi, M. (1996). A space-efficient on-the-fly algorithm for real-time model checking. In 7th International Conference on Concurrency Theory (Vol. 1119, pp. 514–529). Pisa, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/3-540-61604-7_73 

Henzinger, T. A. (1996). The theory of hybrid automata. In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (pp. 278–292). New Brunswick, NJ, United States of America: IEEE.https://doi.org/10.1109/LICS.1996.561342  

Henzinger, T. A., &; Alur, R. (Eds.). (1996). https://doi.org/10.1007/3-540-61474-5__8th International Conference on Computer Aided Verification (Vol. 1102). Presented at the CAV: Computer Aided Verification, New Brunswick, NJ, United States of America: Springer.https://doi.org/10.1007/3-540-61474-5 

Alur, R., &; Henzinger, T. A. (1996). Reactive modules. In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (pp. 207–218). New Brunswick, NJ, USA: IEEE.https://doi.org/10.1109/LICS.1996.561320 

Alur, R., Henzinger, T. A., &; Ho, P. (1996). Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. IEEE.https://doi.org/10.1109/32.489079 

Alur, R., Feder, T., &; Henzinger, T. A. (1996). The benefits of relaxing punctuality. Journal of the ACM. ACM.https://doi.org/10.1145/227595.227602 

Alur, R., Henzinger, T. A., &; Sontag, E. D. (Eds.). (1996). Hybrid Systems III: Verification and Control (Vol. 1066). Berlinf; Heidelberg: Springer.https://doi.org/10.1007/BFb0020931 

de Bono, M., &; Hodgkin, J. (1996). Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences. Genetics. Genetics Society of America.