SMSI: System Model Security Inference: Automated Threat Modeling for Cyber-Physical Systems — RoÝah Radaideh, Ali Khreis | Kutubxona