Kharchenko, Vyacheslav. Methods of an Estimation of the Multi-version Safety Systems In 17th International System Safety Conference. Orlando, FL, 1999.