Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer