@INPROCEEDINGS{Larsen90e,
  KEY           = "Larsen90",
  AUTHOR        = "Peter Gorm Larsen",
  TITLE         = "{An Event Structuring Approach to Real-Time
                   Design}",
  BOOKTITLE     = "{2nd Nordic Workshop on Program Correctness}",
  YEAR          = "1990",
  MONTH         = "October",
  SIZE          = "8",
  NOTE          = "An earlier version of this article was published
                   at the Euromicro Real-Time Workshop 1990",
  ANNOTE        = "",
  COMMENT       = "BIB. I have both a hardcopy and a softcopy. This
                   is my third publication (PGL)."}