TY - RPRT TI - SMSI: System Model Security Inference: Automated Threat Modeling for Cyber-Physical Systems AU - RoÝah Radaideh AU - Ali Khreis PY - 2026 UR - https://arxiv.org/abs/2604.23905 ID - 2604.23905 ER -