System Model Optimization through Functional Models Execution: Methodology and Application to System-level Analysis