A fully automated technique for constructing FSM abstractions of non-ideal latches in communication systems | IEEE Conference Publication | IEEE Xplore