Automated verification of spacecraft telemetry data | IEEE Conference Publication | IEEE Xplore