Transformation-based Approach to Security Verification for Cyber-Physical Systems

Publication
IEEE Systems Journal, IF 4.337