Industrial Examples of Formal Specifications for Test Case Generation