The Rodin platform archive *RailGround_RSSRail.zip* contains the development of a version of the RailGround model using Event-B and iUML-B Plug-in that was used for a paper submitted to the RSSRail 2017 conference (see dataset for link to paper)

The Rodin platform configuration used to develop this model is as follows.
- Rodin Platform 3.3.0 (www.event-b.org)
- Atelier B Provers 2.2.0 (Atelier-B Update Site)
- SMT Solvers 1.3.0 (Rodin Update Site)
- iUML-B Class Diagrams 1.2.0 (Rodin Update Site)
- iUML-B State-Machines 3.4.1 (Rodin Update Site)
- iUML-B State-Machines Animation 2.3.0 (Rodin Update Site)
- ProB model checker 3.0.9 (ProB update site)

The archive can be imported into the Rodin platform.