Exploiting functional dependencies in finite state machine verification | IEEE Conference Publication | IEEE Xplore