Run control in MODEL: the state manager | IEEE Journals & Magazine | IEEE Xplore