Design and Verification Methodology for Secure and Distributed Cyber-Physical Systems | IEEE Conference Publication | IEEE Xplore