Synthesis of Over-Approximating Inference-based Decentralized Supervisors for Discrete Event Systems | IEEE Conference Publication | IEEE Xplore