Cyber-Physical Distributed Systems: Modeling, Reliability Analysis and Applications - Mo (IEEE, 2003)