Keliang Zhou, Binbin Liu, Cen Ye, Ling Liang: Design Support Tools of Cyber-Physical Systems. CloudComp 2013: 258-267