Pablo Rabanal Ismael Rodríguez Fernando Rubio Applying Evolutionary Computation Methods to Formal Testing and Model Checking. 310-317 2009 IWANN (1) http://dx.doi.org/10.1007/978-3-642-02478-8_39 conf/iwann/2009-1 db/conf/iwann/iwann2009-1.html#RabanalRR09