Application of QVT for the Development of Secure Data Warehouses: A case study | IEEE Conference Publication | IEEE Xplore