Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events | IEEE Conference Publication | IEEE Xplore