Automated Logic-Mathematical Modeling of Railway Automation Devices Technical Condition | IEEE Conference Publication | IEEE Xplore