Conflict-directed A* and its role in model-based embedded systems. - Brian C. Williams; Robert J. Ragno (Discret. Appl. Math., 2007)