@CONFERENCE\{IMM1998-01792,
    author       = "M. Fr{\"{a}}nzle",
    title        = "Model-checking dense-time duration calculus",
    year         = "1998",
    month        = "aug",
    pages        = "31-40",
    booktitle    = "Duration Calculus: A Logical Approach to Real-Time Systems, Workshop proceedings of the 10th European Summer School in Logic,",
    volume       = "",
    series       = "",
    editor       = "Michael R. Hansen",
    publisher    = "DFKI",
    organization = "",
    address      = "Saarbrücken, Germany",
    url          = "http://www.imm.dtu.dk/~mf/ESSLLI98.ps.gz"
}