Research of safety and survivability models of the information system for critical use. - Oleg V. Bisikalo; Viacheslav V. Kovtun; Oksana V. Kovtun; Volodimir B. Romanenko (DESSERT, 2020)