Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors | IEEE Conference Publication | IEEE Xplore