A number of reports about malfunctions of hight-tech components in vehicles appeared recently. To a major part, such malfunctions are related to software. As the amount of software will steadily increase during the next years, software will dramaticially impact the quality of service in future. The competence to produce robust and dependable software will be essential to keep a leading role on ...