Supervisor localization for large-scale discrete-event systems | IEEE Conference Publication | IEEE Xplore