Detection of missing CAN messages through inter-arrival time analysis