Enforcing Degree of Opacity with Supervisory Control | IEEE Conference Publication | IEEE Xplore