@Mastersthesis{Sei06a:Literature,
	author = {C. Seidner},
	title  ={\'{E}tude des Repr\'esentations Haut-Niveau en Ing\'enierie Syst\`eme et de leur Aptitude \`a Supporter des V\'erifications Formelles},
	year = {2006},
	month = may,
	school = {\'Ecole Centrale Nantes},
	type = {Literature review and synthesis},
	address = {Nantes, France}
}