Compiling graph transformation rules into a procedural language for behavioral modeling | IEEE Conference Publication | IEEE Xplore