Developing Dependable Automotive Embedded Systems using the EAST-ADL