%0 Generic
%A André Platzer
%T Logical Foundations of Cyber-Physical Systems
%8 2021
%I Springer Science+Business Media
%U