Volpato, M.; Tretmans, J. Approximate Active Learning of Nondeterministic Input Output Transition Systems. eceasst 2015, 72.