# SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems

> Research article (Connection Science, 2021) · cited 21× · AI/ML

**Wikidata**: [openalex:W4200389902](https://www.wikidata.org/wiki/openalex:W4200389902)  
**Source**: https://4ort.xyz/entity/sysml-based-compositional-verification-and-safety-analysis-for-safety-critical-cyber-physical-systems