Evaluating and designing procedures in safety critical environments: a framework and taxonomy based on a critical review and synthesis. (4th July 2019)