Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development | IEEE Conference Publication | IEEE Xplore