Not critiquing your solution NewModelATC, but as a Human Factors bod, I will address your comments about beneficial automation. Until we find some way to measure cognition
AND account for variability between people, the Human Factors argument will never beat the accountants' arguments. As a consequence, a lot of ill-thought-out automation is developed and, worse, crippled by cutbacks during development (something you'll know about and be seeking to circumvent by presenting your model).
We need to stop automating or implementing technology for technology or automation's sake. Just because we can is not the reason we should. Until someone can demonstrate that a machine can apply knowledge flexibly to new problems, automation should support the human operator, not replace him/her.
Like I said though, I'm not critiquing your system, which I haven't looked at in any detail. Just a general philosophical statement. If you want your HF looked at, I'm available for consultancy work and my fee is...