Yang, J.-M., Moor, T., & Raisch, J. (2018). Local Refinement of l-complete Approximations for Supervisory Control of Hybrid Systems. IFAC-PapersOnLine, 51(7), 472-479.