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.