Peng Wang, Kai-Yuan Cai: Supervisory control of discrete event systems with state-dependent controllability. Int. J. Syst. Sci. 40(4): 357-366 (2009)