Henzinger, T. A., Ho, P., &; Wong Toi, H. (1995). HyTech: The next generation. In Proceedings 16th IEEE Real-Time Systems Symposium (pp. 56–65). Pisa, Italy: IEEE.https://doi.org/10.1109/REAL.1995.495196