M. Wrzosek, T. Owerko, M. Rochel, and D. Kasznia, “Automating Compliance: Advanced Verification Techniques for Information Requirements in BIM Railway Projects”, GaEE, vol. 19, no. 3, pp. 63–89, Jul. 2025.