Harry M. Sneed The MicroTest Integrated Test Environment. 45-56 1992 conf/testen/1992 Testen, Analysieren und Verifizieren von Software db/conf/testen/testen1992.html#Sneed92