1. A. Burns and A. Wellings. Concurrency in Ada. Cambridge University Press, Cambridge, 1997.
2. G.C. Buttazzo. Hard Real-time Computing Systems. Kluwer Academic, Dordrecht, 2002.
3. J. Chevalier, M. de Nanclas, L. Filion, O. Benny, M. Rondonneau, G. Bois, and E.M. Aboulhamid. A SystemC refinement methodology for embedded software. IEEE Design & Test of Computers, 23(2):148–158, 2006.
4. V. Fernandez, F. Herrera, P. Sanchez, and E. Villar. Embedded software generation from SystemC for platform based design. In SystemC: Methodologies and Applications, pages 247–272. Springer, Berlin, 2003.
5. Fossy—Functional Oldenburg System Synthesizer. http://fossy.offis.de .