To perform the comparative analysis, the authors used formal methods to ensure a precise search process.
Para la realización del análisis comparativo, los autores utilizaron métodos formales para asegurar un proceso de búsqueda preciso.