Applying STAMP to Support the Synthesis of Controller Logic considering Safety Concerns | IEEE Conference Publication | IEEE Xplore