High-level test synthesis based on controller redefinition | Publicación