Mathematical Models for Assessing the Reliability of Processes of Automated Control of the Main Gas Pipeline, Taking into Account the "Human Factor" | IEEE Conference Publication | IEEE Xplore