“Mathematical Models for Verification of Ergatic Systems of Railway Automation”. Visnyk of Vinnytsia Politechnical Institute, no. 4 (September 25, 2020): 7–14. Accessed November 15, 2026. https://vpi.sprava.net/index.php/visnyk/article/view/2509.