The 16 references in paper K. Bochkov A., B. Sivko V., К. Бочков А., Б. Сивко В. (2016) “ВЫБОР И ОПРЕДЕЛЕНИЕ ФУНКЦИИ БЕЗОПАСНОСТИ ПРИ ВЕРИФИКАЦИИ МИКРОПРОЦЕССОРНЫХ СИСТЕМ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ // SELECTION AND DEFINITION OF SAFETY FUNCTION WHEN VERIFYING RAILWAY SIGNALLING AND REMOTE CONTROL COMPUTER-BASED SYSTEMS” / spz:neicon:sustain:y:2014:i:2:p:101-115

1
Butler R.W. «What is Formal Methods?» NASA LaRC Formal Methods Program, 2001.
(check this in PDF content)
2
Сивко Б.В. Доказательство корректности блока телеуправления 16-1 диспетчерской централизации «Нёман» // Вестник БелГУТа: Наука и Транспорт. – 2012. – No1(24). – С.18–21.
(check this in PDF content)
3
Харлап С.Н., Сивко Б.В. Верификация программного обеспечения микропроцессорной светооптической светодиодной системы // Вестник БелГУТа: Наука и Транспорт. – 2012. – No1 (24). – С.22–25.
(check this in PDF content)
4
Сивко Б.В. Проектирование безопасного программного обеспечения микропроцессорных устройств автоматики и телемеханики // Проблемы безопасности на трансп.: тезисы докл. VI Междунар. науч. – практ. конф., Гомель, 29–30 ноября 2012 г. / М-во образования Респ. Беларусь, М-во трансп. и коммуникаций Респ. Беларусь, Бел. ж. д., Белорус. гос. ун-т трансп.: редкол.: В.И.Сенько (отв. ред.) [и др.]. – Гомель, 2012. – С.205.
(check this in PDF content)
5
David Smith J. «Safety Critical Systems Handbook. A Straightforward Guide to Functional Safety, IEC 61508 and Related Standards, Including Process IEC 61511 and Machinery IEC 62061 and ISO 13849» / David J. Smith and Kenneth G. L. Simpson // Elsevier Ltd., 2010.
(check this in PDF content)
6
Сивко Б.В. Доказательство корректности программного обеспечения многопроцессорных устройств связи с объектами железнодорожной автоматики и телемеханики // Вестник БелГУТа: Наука и Транспорт. – 2012. – No2(25). – С.27-30.
(check this in PDF content)
7
Fagan M.E. Design and code inspections to reduce errors in program development, IBM Systems Journal, Volume 15 Issue 3, September 1976, p. 182–211.
(check this in PDF content)
8
Boehm B.W. Software engineering. IEEE Transactions on Computers 25:1226–1241, 1976.
(check this in PDF content)
9
Telles M., Hsieh Y., Telles M.A. The Science of Debugging // The Coriolis Group, 2001.
(check this in PDF content)
10
Boehm B.W., Papaccio P.N. Understanding and controlling software costs // IEEE Trans Softw Eng 14(10):1462–1477, October 1988.
(check this in PDF content)
11
Nancy G. Leveson, Software safety in embedded computer systems. Communications of the ACM, 34(2):34–46, February 1991.
(check this in PDF content)
12
Charles Perrow. Normal Accidents: Living with High Risk Technologies. Basic Books, New York, NY, 1984.
(check this in PDF content)
13
Ivars Peterson, Fatal Defect: Chasing Killer Computer Bugs, Times Books, New York, 1995.
(check this in PDF content)
14
Nancy G. Leveson. Safeware: System Safety and Computers. Addison-Wesley, 1995.
(check this in PDF content)
15
Gerhart S.L., Yelowitz L., Observations of Fallibility in Applications of Modern Programming Methodologies // IEEE Trans. Software Eng., vol. 2, no. 3, 1976, pp. 195–207.
(check this in PDF content)
16
Сапожников В.В., Кравцов Ю.А., Сапожников Вл.В. Дискретные устройства железнодорожной автоматики и телемеханики // М. Транспорт, 1988.
(check this in PDF content)