Mathematical Models for Verification of Ergatic Systems of Railway Automation. Вісник ВПІ [Internet]. 2020 Sep. 25 [cited 2026 Nov. 15];(4):7-14. Available from: https://vpi.sprava.net/index.php/visnyk/article/view/2509