Benoît CaillaudBooksContracts for System DesignSynthesis and Control of Discrete Event SystemsAuthor data: Open Library