1. Aarts, F., et al.: Generating models of infinite-state communication protocols using regular inference with abstraction. FMSD 46(1), 1–41 (2015)
2. Lecture Notes in Computer Science;F Aarts,2015
3. Aarts, F., de Ruiter, J., Poll, E.: Formal models of bank cards for free. In: ICST Workshops, pp. 461–468. IEEE (2013)
4. Lecture Notes in Computer Science;F Aarts,2010
5. Angluin, D.: Learning regular sets from queries and counterexamples. I&C 75(2), 87–106 (1987)