Cyber-Physical Distributed Systems - Modeling, Reliability Analysis and Applications - Huadong Mo (Wiley, 2021)