Modeling requirements to value formulation in the design of large-scale complex engineered systems: A satellite system case study