Case study requirements and specification

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