Constraints Derivation and Propagation for Large-Scale Embedded Systems Exploration