No idea how relevant it is today, or any differences between the shuttle team and whoever's building/built the software for this lander, but it's definitely worth a read.
There was a nice bit about the shuttle's computer systems in the Challenger appendix to Surely You're Joking, Mr. Feynman, too. As I recall, it was the only part of the shuttle process that Feynman thought was engineered correctly.
No idea how relevant it is today, or any differences between the shuttle team and whoever's building/built the software for this lander, but it's definitely worth a read.