SMS versenden: A multi-level approach to the dependability analysis of networked systems based on the CAN protocol