Model based test validation and oracles for data acquisition systems. - Daniel Di Nardo; Nadia Alshahwan; Lionel C. Briand; Elizabeta Fourneret; Tomislav Nakic-Alfirevic; Vincent Masquelier (ASE, 2013)