Scenario-based test case generation for state-based embedded systems. - Wei-Tek Tsai; L. Yu; X. X. Liu; A. Saimi; Y. Xiao (IPCCC, 2003)