Majumdar, R., Murray, R. M., & Prabhakar, P. (Eds.). (2014). Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122). Wadern: Schloss Dagstuhl. doi:10.4230/DagRep.4.3.85.