Specifying and Enforcing High-Level Semantic Obligation Policies | IEEE Conference Publication | IEEE Xplore