1. 4SECURail: Project Deliverable D2.1 (2020). https://www.4securail.eu/Documents.html
2. 4SECURail: Deliverabled of WorkStream 1 (2022). https://zenodo.org/record/5807738
3. 4SECURail: Project Deliverables (2022). https://www.4securail.eu/Documents.html
4. 4SECURail: Translation Tools (2022). https://zenodo.org/record/5541350
5. Abrial, J., Butler, M.J., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf. 12(6), 447–466 (2010). https://doi.org/10.1007/s10009-010-0145-y