Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach | IEEE Journals & Magazine | IEEE Xplore