Гук, Олег, et al. “Features of Automation of Gas Meter Verification Process Using Bell-Provers”. Modeling, Control and Information Technologies: Proceedings of International Scientific and Practical Conference, no. 8, Nov. 2025, pp. 359-61, doi:10.31713/MCIT.2025.111.