Evaluating MBSE Approaches and Tools for Aircraft Design and Certification: A Comparative Perspective | Synapse