Frederick C. Harris Jr. Yan W. Ha Dianne M. Yumul Joshua S. Estes Christopher E. Miles Software Specification of A Mining Truck Simulator and Trainer. 509-515 2003 conf/serp/2003-2 Software Engineering Research and Practice db/conf/serp/serp2003-2.html#HarrisHYEM03