A non-linear programming approach to maintenance budgeting for multi-component systems | IEEE Conference Publication | IEEE Xplore