A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems | Publicación