Model based test validation and oracles for data acquisition systems | IEEE Conference Publication | IEEE Xplore