in LTSpice you are having LT124X series.this is pin compatible with UC384X series..........though i think the operating current is different a bit
i am surprised you use UC384X for satellite.
usually satellite power supply is very expensive with resonent converter so they dont run the battery down too quick, because as you know, in space, its hard to replace the battery.
UC384X is very good, but runs high operating current ...but maybe bipolar devices work better in space, i dont know