Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms | Publicación