Directed Model Checking for PROMELA with Relaxation-Based Distance Functions | Publicación