"Synthesis and control of discrete event systems" Book review