Space exploration software. What were/are the operating systems and programming languages used in the different unmanned probes, rovers and remote sensing satellites? US, Europe and Soviet/Russia if known.