Policy modeling and compliance verification in enterprise software systems: A survey | IEEE Conference Publication | IEEE Xplore