Generation of Failure Models through Automata Learning | IEEE Conference Publication | IEEE Xplore