Fair question - I’m familiar with the theory of operation and I’ve implemented toy receivers (on the software side). I will say that even in the basic designs I worked with it made sense (and was easier) to solve the system of equations and not do something special like assign a “time satellite”. It’s a much easier way to describe the system to someone without a linear algebra background, so I bet that’s the author’s intent.