Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson: Abstractions for nonblocking supervisory control of Extended Finite Automata. CASE 2012: 364-370