Application of the general method to the railway domain

What knowledge of Formal Methods in the railway domain is already ‘mature’? To answer this question we must consider the most suitable sources of knowledge in our chosen domain, as well as a suitable definition of the notion of ‘settledness‘; see chapter 3.