Restructuring of workflows to minimise errors via stochastic model checking: An automated evolutionary approach · Study