On the Use of Fixed Point Approximations to Study Reliable Protocols over Congested Links