An Approach for Safety Analysis of Cyber-Physical System Based on Model Transformation | IEEE Conference Publication | IEEE Xplore