M. Volpato and J. Tretmans, “Approximate Active Learning of Nondeterministic Input Output Transition Systems”, eceasst, vol. 72, Nov. 2015.