AGATE, access graph based tools for handling encapsulation | IEEE Conference Publication | IEEE Xplore