A Reliable Workflow for Cyber-Physical System Components Substitution. - Peng Wang; Yang Xiang; Bing Rong Dai (CIT, 2012)