Supervisory Control Applied to Automata Extended with Variables - Revised M. SKÖLDSTAM, K. ÅKESSON, M. FABIAN Automation Department of Signals and Systems Chalmers University of Technology Göteborg, Sweden, 2008 R001/2008