The B Method and the Component-Based Approach. - Petit, Dorian; Poirriez, Vincent; Mariano, Georges (Trans. SDPS, 2004)