NAS to NextGen: the evolution of a socio-technical system
A mathematical model of the finding of usability problems