System simulation testing: Pre-delivery testing to ensure system dependability. - Shin'ichi Uryu; Mariko Shimizu (ISSRE, 1993)