ПрограммированиеFormal Methods Applied to Industrial Complex Systems. Implementation of the B MethodJean-Louis Boulanger