From Formal models to formal based methods: an industrial experience