Shift2Rail JU call for proposals 2017 · Operational conditions of the signalling and automation systems; signalling system hazard analysis and GNSS SIS characterization along with Formal Method application in railway field · Opportunity · GRANTIBASE · GRANTIBASE