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

Tim Schattkowsky Gregor Engels Alexander Förster A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency. 286 2007 conf/hicss/2007 HICSS http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22 db/conf/hicss/hicss2007.html#SchattkowskyEF07