Reiko Heckel Georgios Lajios Sebastian Menge Modulare Analyse Stochastischer Graphtransformationssysteme. 141-152 2005 conf/se/2005 Software Engineering db/conf/se/se2005.html#HeckelLM05