Towards a unified theory of validation | IEEE Conference Publication | IEEE Xplore