Pascal Lieshout Michel Mandjes A note on the delay distribution in GPS. 117-122 2008 36 Oper. Res. Lett. 1 http://dx.doi.org/10.1016/j.orl.2007.04.012 db/journals/orl/orl36.html#LieshoutM08