Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans - Phillip James (Mathematics in Computer Science, 2014)