A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency
T. Schattkowsky, G. Engels, A. Förster, in: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS 2007), IEEE Computer Society, Washington, DC, USA, 2007, p. 286ff.