Resolving some issues of the Classical B based toolchain description

Name: Resolving some issues of the Classical B based toolchain description
Description: Contribution addresses issues in the issue tracker
Gist URL: -
Cryptography: No
Author(s): Self

I hereby declare that I accept to contribute following the openETCS terms of use and the openETCS IP policy.

http://openetcs.org/termsofuse

https://github.com/openETCS/ecosystem/wiki/IP-Policy