Functional verification based on the EFSM model | IEEE Conference Publication | IEEE Xplore