@incollection{boniol:hal-00862488, TITLE = {{Analyse {\`a} partir du mod{\`e}le}}, AUTHOR = {Boniol, Fr{\'e}d{\'e}ric and Dhaussy, Philippe and Le Roux, Luka and Roger, Jean-Charles}, URL = {https://hal.science/hal-00862488}, BOOKTITLE = {{Mod{\'e}lisation et analyse de syst{\`e}mes embarqu{\'e}s}}, EDITOR = {Hermes}, PUBLISHER = {{Lavoisier}}, SERIES = {SEE}, PAGES = {180-206}, YEAR = {2013}, MONTH = Jul, KEYWORDS = {syst{\`e}mes embarqu{\'e}s ; analyse ; mod{\'e}lisation ; model-checking ; CDL}, HAL_ID = {hal-00862488}, HAL_VERSION = {v1}, }