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