I created this project to help me understand in greater depth how to make reliable communications using HTTP protocol. The code is easy to extend for other networking projects and it is very resilient to network errors. All the details are shown on DesignSpark
I also discovered LTSA a great tool for systematically analysing state machines
-arduinomstr