@InProceedings{Choppy:2001:FASE,
  author =       "Christine Choppy and Pascal Poizat and Jean-Claude
                  Royer",
  title =        "Specification of Mixed Systems in {KORRIGAN} with the
                  Support of a {UML}-Inspired Graphical Notation",
  pages =        "124--139",
  booktitle =    "Fundamental Approaches to Software Engineering, 4th
                  International Conference, FASE 2001, held as Part of the
                  Joint European Conferences on Theory and Practice of
                  Software, ETAPS 2001, Genova, Italy, April 2-6, 2001,
                  Proceedings",
  editor =       "Heinrich Hussmann",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2029",
  year =         "2001",
}