SALVO: model-based systems applications in automotive industry. - Rosanna Bray; Alessandro Buffo; Fulvio Cascio; Luca Console; Claudia Picardi; Marino Segnan; Daniele Theseider Dupré (Intelligenza Artificiale, 2004)