Throughput Propagation in Constraint-Based Design Space Exploration for Mixed-Criticality Systems.