src: In particular, we study and formalize the concept, we propose a model and we show how to extract these properties when designing a system.
tgt: Notamment, nous étudions et formalisons le concept, proposons un modèle et une manière d’extraire ces propriétés lors de la conception d’un système.