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