# Transformation-Based Approach to Security Verification for Cyber-Physical Systems

> Research article (IEEE Systems Journal, 2019) · cited 18× · AI/ML

**Wikidata**: [openalex:W2953503775](https://www.wikidata.org/wiki/openalex:W2953503775)  
**Source**: https://4ort.xyz/entity/transformation-based-approach-to-security-verification-for-cyber-physical-systems