Model Based Testing and Abstract Interpretation in the Railway Signaling Context. - Daniele Grasso; Alessandro Fantechi; Alessio Ferrari 001; Carlo Becheri; Stefano Bacherini (ICST, 2010)