Approche multi modeles pour la conception de systemes dynamiques hybrides surs de fonctionnement