Volpato, M. and Tretmans, J. (2015) “Approximate Active Learning of Nondeterministic Input Output Transition Systems”, Electronic Communications of the EASST, 72. doi: 10.14279/tuj.eceasst.72.1008.