EPSL : E xecutable P rotocol S pecification L anguage