Specification, Verification and Optimisation of Business Processes:A Unified Framework. - Luke Thomas Herbert (2014)

Restructuring of workflows to minimise errors via stochastic model checking: An automated evolutionary approach. - Luke Thomas Herbert; Zaza Nadja Lee Hansen (Reliab. Eng. Syst. Saf., 2016)