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