A Contract-Based Installation Methodology for Safety-Related Automotive Systems