Modeling of turnaround operations for next-generation space transportation architectures. International Journal of Industrial Engineering, 13 (1), 18-27