Automatic synthesis and verification of compliance mappings | IEEE Conference Publication | IEEE Xplore