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 .