Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
http://drops.dagstuhl.de/opus/volltexte/2014/4593/ (Publisher version)
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.