Henzinger, Thomas A., and Pei Ho. “Algorithmic Analysis of Nonlinear Hybrid Systems.”10.1007/3-540-60045-0_53__7th International Conference on Computer Aided Verification, vol. 939, Springer, 1995, pp. 225–38, doi:10.1007/3-540-60045-0_53.

Henzinger, Thomas A., and Pei Ho. “A Note on Abstract-Interpretation Strategies for Hybrid Automata.”10.1007/3-540-60472-3_13__3rd International Hybrid Systems Workshop, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 252–64, doi:10.1007/3-540-60472-3_13.

Henzinger, Thomas A., and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.”10.1007/3-540-60472-3_14__4th International Hybrid Systems Workshop, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 265–93, doi:10.1007/3-540-60472-3_14.

Henzinger, Thomas A., et al. “A User Guide to HyTech.”10.1007/3-540-60630-0_3__1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, vol. 1019, Springer, 1995, pp. 41–71, doi:10.1007/3-540-60630-0_3.

Henzinger, Thomas A., et al. “HyTech: The next Generation.”10.1109/REAL.1995.495196 __Proceedings 16th IEEE Real-Time Systems Symposium, IEEE, 1995, pp. 56–65, doi:10.1109/REAL.1995.495196 .