Transforming regulations into performance models in the context of reasoning for outcome-based compliance | IEEE Conference Publication | IEEE Xplore