БОЧКОВ, К. А., ХАРЛАП, С. М. і ШЕВЧЕНКО, Д. М. (2011) «МЕТОДИ ТА ЗАСОБИ ДОВЕДЕННЯ ФУНКЦІОНАЛЬНОЇ БЕЗПЕКИ МІКРОЕЛЕКТРОННИХ СИСТЕМ ЗАЛІЗНИЧНОЇ АВТОМАТИКИ», Електромагнітна сумісність та безпека на залізничному транспорті, (2). doi: 10.15802/ecsrt2011/16787.