Section "Description of the approach of openETCS design process" and "Integration of the approach with SysML/Papyrus" for the SysML/Classical B toolchain added.
Section "Integration of the approach with Eclipse" for SysML/Classical toolchain added.
Section "Benefits versus OpenETCS requirements" for SysML/Classical B toolchain added.
Section "Benefits versus OpenETCS requirements" for SysML/Classical B toolchain improved.
Section "Shortcommings versus OpenETCS requirements" for SysML/Classical B toolchain added.
Section "On going work for openETCS project" for SysML/Classical B toolchain added.
Missing sections for SysML/Classical B toolchain added.
Literature added.
Small correction across all sections of the SysML/Classical B toolchain.
Image with transformation alternatives for SysML/Classical B added.