Zaslat SMS: Algebraic modeling systems : modeling and solving real world optimization problems / edited by Josef Kallrath.