Building preliminary mathematical models to simulate system behavior is an essential part of designing dependable cyber-physical systems (CPS). This thesis presents the implementation of a visual modeling environment that ...