E. Grabska, G. Ślusarczyk, and T. Le, “Visual Design and Reasoning with the Use of Hypergraph Transformations”, ECEASST, vol. 10, Jul. 2008.