1. Britov G., Mironovskiy L. Automated design of functional diagnosing devices // Information and Control Systems. 2010. № 2. C. 55-60.