Automatic Verification Stimulus Generation for Interface Protocols Modeled With Non-Deterministic Extended FSM | IEEE Journals & Magazine | IEEE Xplore