Title: Logical Foundations of Cyber-Physical Systems
Subjects: Embedded computer systems, Cybernetics