Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events. - Aida Rashidinejad; Patrick van der Graaf; Michel A. Reniers (ICARCV, 2020)