Analysis of Real-Time Systems by Data Flowgraphs
Uno R. Kodres · IEEE Transactions on Software Engineering · 1978
The concept of a data flowgraph is formalized as a bipartite directed graph. Each execution sequence of a computer program has a corresponding data flowgraph which describes functionally what happens to the data if that execution sequence is followed.