The development graph manager MAYA
@inproceedings{AHMS-02-a,
  author        = {Autexier, Serge and Hutter, Dieter and Mossakowski, Till and Schairer, Axel},
  editor        = {Kirchner, H\'el\`ene and Ringeissen, Christophe},
  booktitle     = {Proceedings 9th International Conference on Algebraic Methodology And Software Technology (AMAST'02)},
  title         = {The development graph manager MAYA},
  volume        = {2422},
  series        = {LNCS},
  publisher     = {Springer},
  month         = {september},
  year          = {2002},
}