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