Return to Issue Details Mathematical Models for Verification of Ergatic Systems of Railway Automation Download Download PDF