The Rigorous Implementation of a Fair Exchange Protocol for Non-repudiable Web Service Interactions - a case study