A. Arnold, Finite transition systems, 1994.

. [. Geniet, Validation dà applications temps reel a contraintes strictes a làaide de langages rationnels, 2000.

G. [. Geniet and . Largeteau, Validation d à applications temps r eel strictes a dure es variables a là aide de langages rationnels, 2001.

]. E. Gro99 and . Grolleau, Ordonnancement temps t eel hors-ligne optimal a l à aide de re seaux de Petri en environnement monoprocesseur et multi-processeurs, Th`Th`se.ENSMA, pp.301-324, 1999.

. [. Paret, Le bus CAN : description -de la th´orie « la pratique, 1999.

. [. Saad-bouzefrane, Etude temporelle des applications temps re el distribue es a contraintes strictes base e sur une analyse d à ordonnanc abilite, 1998.