Forwarding

Please take a look at the Textbook: André Platzer. Logical Foundations of Cyber-Physical Systems. Springer, 2018.