Applying formal methods in industry the UseGat project