incsla

ModelingandVerificationofDistributedCyber-PhysicalSystems

Networked Cyber-Physical Systems An Introduction