Ant Colony Optimization for Model Checking | Publicación