[elfchief]

There's pretty much never a reason (...normally, but see below) you'd use a separate satellite for the time -- you do need four satellites to solve for X/Y/Z/time, but you solve them together. Basically, there's only one combination of satellite positions and (pseudo)ranges that will produce a solution, and one of the outputs of that solution is the time (the inputs are just time offsets between the various signals, based on the receiver's non-precision local clock).

The see below part: There are timing receivers that will do a long "survey" to figure out their exact location (or as close to it as they can), and once they have that they can use a single satellite to determine the current time, since they already have most of the needed equations "solved" when the receiver already knows its own (static) location. This is sometimes preferable, depending on one's application, because it makes for less jumpiness in the time solution as new satellites go into and out of view (since the changing geometry of the constellation will make for slightly different solutions every time it changes)