Wrzosek, M.; Owerko, T.; Rochel, M.; Kasznia, D. Automating Compliance: Advanced Verification Techniques for Information Requirements in BIM Railway Projects. GaEE 2025, 19, 63-89.