Protocol engineering - König, Hartmut (Springer, 2012)