Julien Soc - Caractérisation et modélisation d'un système multi-modal distribué : Modélisation compositionnelle et vérification de systèmes de réalité augmentée