@CONFERENCE\{IMM1991-01877,
    author       = "Z. Chaochen and M. R. Hansen and A. P. Ravn and H. Rischel",
    title        = "Duration Specifications for Shared Processors",
    year         = "1991",
    pages        = "21-32",
    booktitle    = "Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems",
    volume       = "571",
    series       = "LNCS",
    editor       = "J.\verb+~+Vytopil",
    publisher    = "Springer-Verlag",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1877-full.html"
}