1. Edwards, S., Lavagno, L., Lee, E.A., Sangiovanni-Vincentelli, A.: Design of embedded systems: formal models, validation, and synthesis. In: Proc. of IEEE, March 1997, vol. 85(3) (1997)
2. Grandpierre, T., Lavarenne, C., Sorel, Y.: Optimized rapid prototyping for real-time embedded heterogeneous multiprocessors. In: CODES 1999 7th Intl. Workshop on Hardware/Software Co-Design, Rome (May 1999)
3. Kaouane, L., Akil, M., Sorel, Y., Grandpierre, T.: A methodology to implement real-time applications on reconfigurable circuits. In: ERSA 2003, Intl. Conference on Engineering of Reconfigurable Systems and Algorithms, Las vegas, USA (June 2003)
4. Dias, A.F., Lavarenne, C., Akil, M., Sorel, Y.: Optimized implementation of real-time image processing algorithms on field programmable gate arrays. In: Proc. of the 4th Intl. Conference on Signal Processing, Beijing (October 1998)
5. Halbwachs, N.: Synchronous programing of reactive systems. Kluwer Academic Publishers, Dordrecht Boston (1993)