Automated test generation for synchronous controllers. - Mouna Tka Mnad; Christophe Deleuze; Ioannis Parissis; Jackie Launay; Jean Baptiste Gning (AST@ICSE, 2016)