Belta, C. A., Majumdar, R., Zamani, M., & Rungger, M. (Eds.). (2017). Formal Synthesis of Cyber-Physical Systems. Wadern: Schloss Dagstuhl. doi:10.4230/DagRep.7.5.84.