https://123dok.net/document/zpn1drlv-génération-automatique-modèles-simulation-validation-systèmes-hétérogènes-embarqués.html