A Graphical Tool for Protocol Design with Estelle