Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués.