Keith A. Duke H. Daniel Schnurmann Terry Ira Wilson System Validation by Three-Level Modeling Synthesis. 166-174 1971 15 IBM Journal of Research and Development 2 db/journals/ibmrd/ibmrd15.html#DukeSW71 http://dx.doi.org/10.1147/rd.152.0166