Verhaltensbasierte Ansätze in verlässlichen Automotivesystemen by Frank Böhr