@InProceedings{DalCin:1999:HASE,
  author =       "M. Dal Cin and G. Huszerl and K. Kosmidis",
  title =        "Evaluation of Safety-Critical Systems based on Guarded
                  Statecharts",
  booktitle =    "Proc. of the Fourth IEEE International Symposium on High
                  Assurance Systems Engineering",
  editor =       "Raymond Paul and Catherine Meadows",
  publisher =    "IEEE",
  year =         "1999",
}