@incollection{boniol:hal-00843139, TITLE = {{Model-Based Analysis}}, AUTHOR = {Boniol, Frederic and Dhaussy, Philippe and Le Roux, Luka and Roger, Jean-Charles}, URL = {https://hal.science/hal-00843139}, BOOKTITLE = {{Embedded systems, Analysis and Modeling with SysML, UML and AADL}}, PUBLISHER = {{Wiley}}, PAGES = {157-184}, YEAR = {2013}, MONTH = May, HAL_ID = {hal-00843139}, HAL_VERSION = {v1}, }