In networked cyber physical systems real time global
computations, e.g., the supervisory control of a
ight
control system, require consistent views, consistent
actions and synchronized state transitions across net-
work ...