Finite state machine decomposition by transition pairing | IEEE Conference Publication | IEEE Xplore