Britov, G. and Mironovskiy, L. 2010. Automated design of functional diagnosing devices. Information and Control Systems. 2 (Apr. 2010), 55-60.