TGG-based process for automating the transformation of UML models towards B specifications