Internet of Things and Safety Assurance of Cooperative Cyber-Physical Systems: Opportunities and Challenges | IEEE Journals & Magazine | IEEE Xplore