Synthesis and Control of Discrete Event Systems nidottuEnglanti, 2010