Verifying Cyber-Physical Interactions in Safety-Critical Systems | IEEE Journals & Magazine | IEEE Xplore