Analysing industrial protocols with formal methods by