The Timed Abstract State Machine Based Test Data Auto Generation for Embedded Systems | IEEE Conference Publication | IEEE Xplore