Automatic Design of Reliable Systems Based on the Multiple-choice Knapsack Problem | IEEE Conference Publication | IEEE Xplore