Models and Analysis for Distributed Systems こちらもおすすめ

Communicating Embedded Systems Communicating Embedded Systems
Communicating Embedded Systems
2013年
Verifying Cyber-Physical Systems Verifying Cyber-Physical Systems
Verifying Cyber-Physical Systems
2021年