On Basis Variables for Efficient Error Detection. - Jake Fairbrother; Matthew Leeke (DASC/PiCom/DataCom/CyberSciTech, 2017)