Software Specification of A Mining Truck Simulator and Trainer. - Frederick C. Harris Jr.; Yan W. Ha; Dianne M. Yumul; Joshua S. Estes; Christopher E. Miles (Software Engineering Research and Practice, 2003)