Enhancing the Fusion Method to Fusion_B: Requirements Engineering and Formal Specification