1. P. Farail, P. Gaufillet, J.M. Farines, J.L. Lambert, P. Dissaux, H. Hafidi, P. Michel, M. Filali, J.P. Bodeveix, F. Vemadat, B. Berthomieu, P.O. Ribet, The COTRE project: how to model an verify real time architecture?, 2004
2. http://www.laas.fr/COTRE
3. http://www.airbus.com
4. http://www.tni-valiosys.com, http://www.tni-world.com
5. http://www.feria.cnrs.fr