Consolidate all design choices found in ERTMSFormalSpecs modelling as SSRS issues, so that these issues can be reviewed, and, if needed, discussed and solved within SSRS ERTMS specialists group.
An issue has been created in ERTMSFormalSpecs project about this: https://github.com/openETCS/ERTMSFormalSpecs/issues/217
Consolidate all design choices found in ERTMSFormalSpecs modelling as SSRS issues, so that these issues can be reviewed, and, if needed, discussed and solved within SSRS ERTMS specialists group.
An issue has been created in ERTMSFormalSpecs project about this: https://github.com/openETCS/ERTMSFormalSpecs/issues/217