Design Support Tools of Cyber-Physical Systems. - Keliang Zhou; Binbin Liu; Cen Ye; Ling Liang (CloudComp, 2013)