БОЧКОВ, К. А.; ХАРЛАП, С. М.; ШЕВЧЕНКО, Д. М. МЕТОДИ ТА ЗАСОБИ ДОВЕДЕННЯ ФУНКЦІОНАЛЬНОЇ БЕЗПЕКИ МІКРОЕЛЕКТРОННИХ СИСТЕМ ЗАЛІЗНИЧНОЇ АВТОМАТИКИ. EMCSRT 2011.