Overview image of the Classical B toolchain added.
Description of the SysML / Classical B approach added.
Merge pull request #64 from astante/master

Initial contribution for Classical B based toolchain description