An adaptive automata operational semantic | IEEE Journals & Magazine | IEEE Xplore