Symbolic approach to nonblocking and safe control of Extended Finite Automata | IEEE Conference Publication | IEEE Xplore