Formal Specification and Verification of Requirements in Architecture and Construction using the EXPRESS Modeling Language. - Vitaly A. Semenov; Sergey V. Morozov; Semyon V. Arishin; Olga N. Kuzina; Vladimir I. Rimshin; Elena V. Makisha (Program. Comput. Softw., 2024)