Aida Rashidinejad, Michel A. Reniers, Martin Fabian: Supervisory Control Synthesis of Timed Automata Using Forcible Events. IEEE Trans. Autom. Control. 69(2): 1074-1080 (2024)