A. Tur, V. Tur, S. Derechennik, and A. Lizahub, “An innovative safety format for structural system robustness checking”, Bud-Arch, vol. 19, no. 4, pp. 067–079, Nov. 2020.