Cyber-Physical System Components Composition Analysis and Formal Verification Based on Service-Oriented ArchitecturePeng Wang, Shao Hua Zhang, Yang Xiang|Unknown|2012Cited by 10