Moonzoo Kim Yunja Choi Yunho Kim Hotae Kim Pre-testing Flash Device Driver through Model Checking Techniques. 475-484 2008 ICST http://doi.ieeecomputersociety.org/10.1109/ICST.2008.55 conf/icst/2008 db/conf/icst/icst2008.html#KimCKK08