Hoffmann, Jörg Programming Logics, MPI for Informatics, Max Planck Society;
Kupferschmid, S., Hoffmann, J., Dierks, H., & Behrmann, G. (2006). Adapting an AI Planning Heuristic for Directed Model Checking. In Model checking software : 13th International SPIN Workshop (pp. 35-52). Berlin, Germany: Springer.