D. Xiang and G. Liu, “Checking Data-Flow Errors Based on The Guard-Driven Reachability Graph of WFD-Net”, Comput. Inform., vol. 39, no. 1-2, pp. 193–212, Feb. 2020.