Formal methods for communication services: meeting the industry expectations