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