Springer Computer Science, 15 Jan 2019 Textbook "Logical Foundations of Cyber-Physical Systems" shows how to develop CPS models of appropriate scale in logic, and…