Synthesis and Control of Discrete Event Systems by Luciano Lavagno, Benoit Caillaud & Philippe Darondeau