Tur, A.; Tur, V.; Derechennik, S.; Lizahub, A. An Innovative Safety Format for Structural System Robustness Checking. BACAE 2020, 19, 067-079.