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