A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems | IEEE Conference Publication | IEEE Xplore