Integrated modeling and optimization of lunar In-Situ Resource Utilization systems | IEEE Conference Publication | IEEE Xplore