Software Behavior Description of Real-Time Embedded Systems in Component Based Software Development | IEEE Conference Publication | IEEE Xplore