@InProceedings{Reggio:2000:FASE,
  author =       "Gianna Reggio and Egidio Astesiano and Christine Choppy
                  and Heinrich Hussmann",
  title =        "Analysing {UML} Active Classes and Associated State
                  Machines -- {A} Lightweight Formal Approach",
  booktitle =    "Proc. Fundamental Approaches to Software Engineering
                  (FASE 2000), Berlin, Germany",
  year =         "2000",
  editor =       "Tom Maibaum",
  volume =       "1783",
  series =       "LNCS",
  publisher =    "Springer",
  isbn =         "3-540-67261-3",
}