A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency | IEEE Conference Publication | IEEE Xplore