Optimization Under Uncertainty with Rigorous Process Models