Preface. Acknowledgements. 1. How Did We Get Here? 2. An Introduction to Behavioral Synthesis. 3. The Behavioral Synthesis Process....