Auditability as a Design Problem | IEEE Conference Publication | IEEE Xplore