1. Valkovsky, Mustafina Abduction models in software reliability analysis // SPIIRAS Proceedings. 2004. № 2 (1). C. 57-63.