T. M. Prinz and W. Amme, “Control-Flow-Based Methods to Support the Development of Sound Workflows”, J. Complex Syst. Inform. Model. Q., no. 27, pp. 1–44, Jul. 2021, doi: 10.7250/csimq.2021-27.01.