A formal foundation for XrML | IEEE Conference Publication | IEEE Xplore