Rajhans, A.; Cheng, S.-W.; Schmerl, B.; Garlan, D.; Krogh, B.; Agbi, C.; Bhave, A. An Architectural Approach to the Design and Analysis of Cyber-Physical Systems. eceasst 2009, 21.