System modeling language is used to model the system engineering applications. This graphical modeling language is a semi-formal language. To develop a reliable application, the graphical models for ...

Concretely, OODA-CPS: 1) presents an explicit description on CPS behaviors by extending the SysML sequence diagram, 2) provides an automatic transformation from the CPS visual model (i.e., the ...