Wei-Tek Tsai Feng Zhu Lian Yu Raymond A. Paul Chun Fan Verification Patterns for Rapid Embedded System Verification. 310-316 2003 conf/csreaESA/2003 Embedded Systems and Applications db/conf/csreaESA/csreaESA2003.html#TsaiZYPF03