Taehoon Lee Mintaek Cho Gihwon Kwon Using Bounded Model Checking with BOGOR. 863-870 2007 SERA http://doi.ieeecomputersociety.org/10.1109/SERA.2007.132 conf/sera/2007 db/conf/sera/sera2007.html#LeeCK07