Control of vector discrete-event systems in the context of operational safety | IEEE Conference Publication | IEEE Xplore