Overview image of the Classical B toolchain added.
Description of the SysML / Classical B approach added.