“The case studies, as well as the diagrams, graphs, and tables, are particularly useful for illustrating the numerical data resulting from the implementation of the presented algorithms and methods, and they help clarify the analyzed concepts. … Design automation of cyber-physical systems is excellent for researchers, academics, and practitioners who want a deeper understanding of both basic and advanced topics … . The wide range of interesting topics, combined with the depth of each chapter, makes it an essential book.” (Eugen Petac, Computing Reviews, September 17, 2021)