Simulation based software development. - James D. Baker; W. Henson Graves (COMPSAC, 1994)