Executable requirements for visualization design
Impacting system design with human performance modeling and experiment: another success story