Software procurement and methods for specification and validation in the railway transportation industry. - Umberto Foschi; Mauro Giuliani; Angelo Morzenti; Matteo Pradella; Pierluigi San Pietro (SMC, 2002)