Text this: Business process modelling using model checking and the theory of constraints