Graph composition in a graph grammar-based method for automata network evolution | IEEE Conference Publication | IEEE Xplore