%0 Book Section %T Model-Based Analysis %+ ONERA - The French Aerospace Lab [Toulouse] %+ Ecole Nationale Supérieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de Télécommunications (ENSEEIHT) %+ Lab-STICC_ENSTAB_CACS_MOCS %+ Pôle STIC_IDM %+ IDM %A Boniol, Frederic %A Dhaussy, Philippe %A Le Roux, Luka %A Roger, Jean-Charles %B Embedded systems, Analysis and Modeling with SysML, UML and AADL %I Wiley %P 157-184 %8 2013-05-02 %D 2013 %Z Computer Science [cs]/Embedded SystemsBook sections %G English %L hal-00843139 %U https://hal.science/hal-00843139 %~ UNIV-BREST %~ INSTITUT-TELECOM %~ ENSTA-BRETAGNE %~ UNIV-TLSE3 %~ ONERA %~ CNRS %~ UNIV-UBS %~ ENSTA-BRETAGNE-STIC %~ LAB-STICC %~ ONERA-MIP %~ INSTITUTS-TELECOM %~ TOULOUSE-INP %~ UT3-INP %~ UT3-TOULOUSEINP