Automatic application of the category-partition method with loops support over functional requirements | Publicación