Javier de San Pedro, Thomas Bourgeat, Jordi Cortadella: Specification Mining for Asynchronous Controllers. ASYNC 2016: 107-114