Extracting exact finite state machines from behavioral SystemC descriptions | IEEE Conference Publication | IEEE Xplore