Verification and validation of a Work Domain Analysis with turing machine task analysis. (March 2015)