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