Automated verification of information models for capital construction projects to mitigate environmental impactRoman OstashevE3S Web Conf., 383 (2023) 04073DOI: https://doi.org/10.1051/e3sconf/202338304073