Jinsong Zhu Son T. Vuong Coverage analysis for embedded testing and an application. 377-386 1999 conf/forte/1999 FORTE db/conf/forte/forte1999.html#ZhuV99