Critical Software for the First European Rail Traffic Management System. - Rodríguez, Ana (Ada User Journal, 2014)