Coping with Complexity of Testing Models for Real-Time Embedded Systems | IEEE Conference Publication | IEEE Xplore