Synthesis of Local Controller Programs for Enforcing Global Security Properties | IEEE Conference Publication | IEEE Xplore