Stav dette: Design methodologies for space transportation systems