Sebastian Kupferschmid Klaus Dräger Jörg Hoffmann Bernd Finkbeiner Henning Dierks Andreas Podelski Gerd Behrmann Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. 679-682 2007 conf/tacas/2007 TACAS http://dx.doi.org/10.1007/978-3-540-71209-1_52 db/conf/tacas/tacas2007.html#KupferschmidDHFDPB07