Modeling for synthesis