SafeArchDSL: An Architecture Modeling Language for Modeling and Verification of Safety Mechanism - Li, Boyang; Wang, Peng; Bai, Jie; Xiao, Nve (2025 7th International Conference on System Reliability and Safety Engineering (SRSE), System Reliability and Safety Engineering (SRSE), 2025 7th International Conference on, 2025)