Well, back in the 1980's up to early 90's, Modula-2 enjoyed a mild success in Europe.
Given that it was available in 1978, and the satellites launched in 1982, it seems a plausible choice like any other, given the computing ecosystem at the time.