Satellite Component Selection with Mixed Integer Nonlinear Programming | IEEE Conference Publication | IEEE Xplore