A methodology for certification of modeling and simulation applications | Synapse