Natural Language Translations of Formal Specifications for Complex Industrial Systems