1.An Architectural Approach to Heterogeneous Modeling and Verification of Cyber-Physical Systems Ivan Ruchkin et al.12. Cyber-Physical System (CPS): Smart Intersection2 3.…