APA Style
Drechsler, R., Kühne, U. (2015).
Formal Modeling and Verification of Cyber-Physical Systems .
Wiesbaden:
Springer.
MLA Style
Drechsler, Rolf., Kühne, Ulrich.
"Formal Modeling and Verification of Cyber-Physical Systems".
Wiesbaden:
Springer,
2015.
Text.