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