Pattern-Based Modeling and Solution of Probabilistically Constrained Optimization Problems (Operations research, 2012)