Modeling and reliability verification of industrial control network protocol based on time state transition matrix