Applying Automata Learning to Embedded Control Software. - Wouter Smeenk; Joshua Moerman; Frits W. Vaandrager; David N. Jansen (ICFEM, 2015)