This dataset is associated with the following paper
- Thai Son Hoang, Colin Snook, Dana Dghaym, and Michael Butler. Class-Diagrams for Abstract Data Types. In Hung Dang Van and Deepak Kapur, editors, *ICTAC2017: International Colloquium on Theoretical Aspects of Computing, Hanoi, Vietnam, October 23-27, Proceedings*, Lecture Notes in Computer Science, Springer, 2017

The Rodin platform archive *RailGround_Theory.zip* contains the development of the RailGround using Event-B and Theory Plug-in. The Rodin platform configuration is as follows.
- Rodin Platform 3.3.0 (www.event-b.org)
- Event-B Theory 4.0.0 (Rodin Update Site)
- 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)
The archive can be imported into the Rodin platform.