H IGHER-ORDER MODELING AND AUTOMATED DESIGN-SPACE EXPLORATION