Introduction to Embedded Systems, Second Edition: A Cyber-Physical Systems Appro

Model Checking, second edition (Cyber Physical Systems Series) - Clarke Jr., Edm

Embedded System Design: Embedded Systems Foundations of Cyber-Physical Syste...

Model Checking, second edition (Cyber Physical Systems Series) by Clarke Jr.

MODEL CHECKING, SECOND EDITION (CYBER PHYSICAL SYSTEMS SERIES) BY Doron Peled

Information-Driven Planning and Control (Cyber Physical Systems Series)

Security and Privacy in Cyber-Physical Systems and Smart Vehicles: Second EAI In