“Mathematical Models for Verification of Ergatic Systems of Railway Automation”, Вісник ВПІ, no. 4, pp. 7–14, Sep. 2020, doi: 10.31649/1997-9266-2020-151-4-7-14.