@InProceedings{McUmber:1999:HASE,
  author =       "W. E. McUmber and Betty H. C. Cheng",
  title =        "{UML}-Based Analysis of Embedded Systems Using a Mapping
                  to {VHDL}",
  booktitle =    "Proc. of the Fourth IEEE International Symposium on High
                  Assurance Systems Engineering",
  editor =       "Raymond Paul and Catherine Meadows",
  publisher =    "IEEE",
  year =         "1999",
}