Runtime monitoring of cross-cutting policy | IEEE Conference Publication | IEEE Xplore