Summary
Identification of railway signalling system used in the project as a case study on which to apply the formal demonstrator prototype.
More information & hyperlinks