Analysing industrial protocols with formal methods door