Data-flow Networks in the Design of Safety-critical Systems