RETRACTED: Automated verification of digital information models of buildings for compliance with fire safety requirementsElena MakishaE3S Web Conf., 549 (2024) 08014DOI: https://doi.org/10.1051/e3sconf/202454908014