Describir: A multi-level approach to the dependability analysis of CAN networks for automotive applications