The CPUs of Spacecraft Computers in Space (2012)

Previously discussed at https://news.ycombinator.com/item?id=25470678 (2020).