INRETS experience of the highly critical software validation of the MAGGALY subway. - Anna Stuparu; Patrick Ozello; François Baranowski (ISSRE, 1993)