Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method