Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems. - Kazunori Ueda; Takayuki Ayano; Taisuke Hori; Hiroki Iwasawa; Seiji Ogawa (ICTAC, 2009)