Directed Model Checking for Fast Abstract Reachability Analysis. - Lee, Nakwon; Kim, Yunho; Kim, Moonzoo; Ryu, Duksan; Baik, Jongmoon (IEEE Access, 2021)