Анотация: Розроблено клас моделей систем контролю та управління, які дозволяють урахувати особливості багатоверсійних відмовобезпечних систем. Моделі базуються на комплексному застосуванні математичного апарату графів переходів та комбінаторних подійних моделей