Logical Foundations of Cyber-Physical Systems | Kaicus Deutschland