System Identification and Extraction of Timing Properties from Controller Area Network (CAN) Message Traces