@InProceedings{Gnesi:1999:HASE,
  author =       "S. Gnesi and Diego Latella and Mieke Massink",
  title =        "Model Checking {UML} Statechart Diagrams using {JACK}",
  booktitle =    "Proc. of the Fourth IEEE International Symposium on High
                  Assurance Systems Engineering",
  editor =       "Raymond Paul and Catherine Meadows",
  publisher =    "IEEE",
  year =         "1999",
}