Implicit state enumeration of finite state machines using BDD's | IEEE Conference Publication | IEEE Xplore