Application of state transition graphs in control system for solenoid valve testing | IEEE Conference Publication | IEEE Xplore