Recursive Modeling of Stateflow as Input/Output-Extended Automaton | IEEE Journals & Magazine | IEEE Xplore