A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency