Automata for the assessment of knowledge | IEEE Journals & Magazine | IEEE Xplore