Mathematical Models for Verification of Ergatic Systems of Railway Automation. Visnyk of Vinnytsia Politechnical Institute, n. 4, p. 7–14, 25 Sep.2020.