Highly reliable software systems (transcript of scientific report at the meeting of the Presidium of NAS of Ukraine, December 7, 2016) - O. A. Letychevskyi (Visnyk of the National Academy of Sciences of Ukraine, 2017)