RGG+: an enhancement to the reserved graph grammar formalism | IEEE Conference Publication | IEEE Xplore