@InProceedings{SLRM06:AFIS,
	author = {C. Seidner and J.-P. Lerat and O. H. Roux and M. Magnin},
	title  ={V\'erification dynamique et formelle d’un syst\`eme d\'ecrit par son architecture fonctionnelle \`a l’aide de r\'eseaux de {Petri} temporels ({TPN}) : promesses et perspectives},
	year = {2006},
	month = may,
	booktitle = {$4^e$ Conf\'erence de l'AFIS},
	address = {Toulouse, France},
	organization = {Association Fran\c{c}aise d'Ing\'enierie Syst\`eme}
}