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