Synthesis and Control of Discrete Event Systems