US9015567B2 - Methods and Systems for Consistency Checking and Anomaly Detection in Automatic Identification System Signal Data