Frank Reffel Stefan Edelkamp Error Detection with Directed Symbolic Model Checking. 195-211 1999 conf/fm/1999-1 World Congress on Formal Methods http://dx.doi.org/10.1007/3-540-48119-2_13 db/conf/fm/fm1999-1.html#ReffelE99