Optimizing Alloy for Multi-objective Software Product Line Configuration. - Ed Zulkoski; Chris Kleynhans; Ming-Ho Yee; Derek Rayside; Krzysztof Czarnecki 001 (ABZ, 2014)