Describir: Cyber-Physical Distributed Systems - Modeling, Reliability Analysis and Applications (1st Edition)