Assessing Compliance of Software System Designs to Laws, Regulations, and their Underlying Values | IEEE Conference Publication | IEEE Xplore