Theory and simulation analysis of FSM used in internal corrosion monitoring for oil&gas pipeline | IEEE Conference Publication | IEEE Xplore