Formally transforming user-model testing problems into implementer-model testing problems and viceversa | Publicación