Preußig, Jörg, et al. “An Algorithm for the Approximative Analysis of Rectangular Automata.”10.1007/BFb0055350__Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, vol. 1486, Springer, 1998, pp. 228–40, doi:10.1007/BFb0055350.