Formal Design Process for FlexRay-Based Control Systems with Network Parameter Optimization