Обеспечение качества функционирования автоматизированных систем - Маньшин Г.Г., Кирпич С.В (Наука и техника, 1986)