In this paper a new modelling approach is presented to be used for formal-verification of block-diagram executable specifications of distributed industrial cyber-physical systems following the IEC ...

A single mouse-click toggles between three different views of the board; the functional block diagram; the physical layout; and the thermal analysis. Changes made in one view are instantly reflected ...