On the complexity of supervisory control design in the RW framework | IEEE Journals & Magazine | IEEE Xplore