ATA Validation
A-Test: does expert knowledge lead to a correct expert reasoning (small scale) ?
B-Test: does system reasoning correspond to expert reasoning (small scale) ?
C-Test: does expert reasoning lead to the required automation (large scale) ?
D-Test: does the system use meet the workflow requirements (small scale) ?
E-Test: complete test on a large scale use in the productive environment