Mathematical Models for Verification of Ergatic Systems of Railway Automation. (2020). Visnyk of Vinnytsia Politechnical Institute, 4, 7-14. https://doi.org/10.31649/1997-9266-2020-151-4-7-14