We have already used our formalized of signal-flow-graph to formally analyze photonic processors (link). For the sake of fun and exploration of new application of formal methods, we applied our formalization of signal-flow-graph in the analysis of industrial process design.