@INPROCEEDINGS{Larsen90,
  KEY           = "Larsen90",
  AUTHOR        = "Peter Gorm Larsen",
  TITLE         = "{A Formal Event Structuring Approach to Real-Time
                   Design}",
  BOOKTITLE     = "{Euromicro Real-Time Workshop}",
  ORGANIZATION  = "Euromicro",
  PUBLISHER     = "IEEE CS Press",
  YEAR          = "1990",
  MONTH         = "June",
  PAGES         = "143--151",
  SIZE          = "8",
  ANNOTE        = "",
  COMMENT       = "BIB. I have both a hardcopy and a softcopy. This
                   is my second publication (PGL)."}