Модели абдуктивной логики при анализе надежности программного обеспечения - Вальковский; Мустафина (Труды СПИИРАН, 2004)