Change Management for Heterogeneous Development Graphs<pre>@incollection{AHM-10-a,
  author        = {Serge Autexier and Dieter Hutter and Till Mossakowski},
  editor        = {Simon Siegler and Nathan Wasser},
  booktitle     = {Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther},
  title         = {Change Management for Heterogeneous Development Graphs},
  series        = {LNCS},
  publisher     = {Springer},
  month         = {november},
  year          = {2010},
}
</pre>