On protocol engineering: detect, confirm and adjust. (2nd August 2006)