@incollection{champeau:hal-00517288, TITLE = {{Model Management for Formal Validation}}, AUTHOR = {Champeau, Jo{\"e}l and Dhaussy, Philippe and Mekerke, Fran{\c c}ois and Roger, Jean-Charles}, URL = {https://hal.science/hal-00517288}, BOOKTITLE = {{Summer School MDD4DRES}}, PUBLISHER = {{Hermes}}, PAGES = {149-174}, YEAR = {2006}, MONTH = Sep, HAL_ID = {hal-00517288}, HAL_VERSION = {v1}, }