%0 Book
%A  André Platzer.
%T Logical foundations of cyber-physical systems /
%U /book/90177074/Logical-foundations-of-cyberphysical-systems/