@article{727549,
      author = {Drechsler, Rolf, and Kühne, Ulrich,},
      url = {http://library.usi.edu/record/727549},
      title = {Formal modeling and verification of cyber-physical systems  1st International Summer School on Methods and Tools for  the Design of Digital Systems, Bremen, Germany, September  2015 / [electronic resource] :. International Summer School  on Methods and Tools for the Design of Digital Systems},
      abstract = {This book presents the lecture notes of the 1st Summer  School on Methods and Tools for the Design of Digital  Systems, 2015, held in Bremen, Germany. The topic of the  summer school was devoted to modeling and verification of  cyber-physical systems. This covers several aspects of the  field, including hybrid systems and model checking, as well  as applications in robotics and aerospace systems. The main  chapters have been written by leading scientists, who  present their field of research, each providing references  to introductory material as well as latest scientific  advances and future research.},
      recid = {727549},
      pages = {1 online resource (x, 313 pages) :},
}