CATIA MAGIC : logiciel MBSE (Model-based systems engineering)