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