Model Based Testing and Abstract Interpretation in the Railway Signaling Context