Formal Modeling and Verification of Cyber-Physical Systems

@inbook{pub7878,
    author = {

Drechsler, Rolf
 and 

Drechsler, Rolf
 and 

Kühne, Ulrich
},
    editor = {

Drechsler, Rolf
 and 

Kühne, Ulrich
},
    title = {Formal Modeling and Verification of Cyber-Physical Systems},
    booktitle = {Formal Modeling and Verification of Cyber-Physical Systems},
    year = {2015},
    publisher = {Springer}
}