Formal models of the SAI /CSL systems of the 4SECURail case study

This compresses document contains a revised version (v2) of several formal models of the SAI /CSL systems modelling the 4SECURail case study ans used in the 4SECURail demonstrator. And several architectural scenarios mentioned in the paper  "Formal Modelling and Analysis of the 4SECURail Case Study" submitted to the ETAPS worksop MARS-2022.

These models describe several scenarios used to model and analyse the system requirements specification document described in the 4SECURail Deliverable D2.3.
The overall approach used for their generation and analysis is described 4SECURail Deliverable D2.5.

Related Links:

The 4SECURAIL project: https:4securail.eu
The $SECURAIL WorkStream-1 Deliverables: https://doi.org/10.5281/zenodo.5807738 (v1)