A methodology for validating intelligent systems in critical domains | Publicación