The 3 references in paper H. Schabe , Х. Шебе (2016) “ПО ПОВОДУ СТАТЬИ А.Ф.КОЛЧИНА, Н.В.МИХЕЕВА «АРХИТЕКТУРА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СИСТЕМЫ, СВЯЗАННОЙ С БЕЗОПАСНОСТЬЮ» // ABOUT THE PAPER BY A.F.KOLCHIN, N.V.MIKHEEV “ARCHITECTURE OF SAFETY RELATED SYSTEM SOFTWARE”” / spz:neicon:sustain:y:2015:i:2:p:98-99

1
Колчин А.Ф., Михеев Н.В., Архитектура программного обеспечения системы, связанной с безопасностью, Надежность, No 1 (2015), стр. 75-81.
(check this in PDF content)
2
ГОСТ Р МЭК 61508–2012 Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Части 1 – 7.
(check this in PDF content)
3
Altmeyer S., Davis R.A., On the Correctness, Optimality and Precision of Static Probabilistic Timing Analysis, University of York, report no. YCS-2013-487.
(check this in PDF content)