К. А. БОЧКОВ, С. М. ХАРЛАП, і Д. М. ШЕВЧЕНКО, «МЕТОДИ ТА ЗАСОБИ ДОВЕДЕННЯ ФУНКЦІОНАЛЬНОЇ БЕЗПЕКИ МІКРОЕЛЕКТРОННИХ СИСТЕМ ЗАЛІЗНИЧНОЇ АВТОМАТИКИ», EMCSRT, вип. 2, Вер 2011.