@CONFERENCE\{IMM2007-05326,
    author       = "M. Fr{\"{a}}nzle and M. R. Hansen",
    title        = "Deciding an Interval Logic with Accumulated Durations",
    year         = "2007",
    pages        = "201-215",
    booktitle    = "{TACAS} 2007",
    volume       = "4424",
    series       = "LNCS",
    editor       = "O. Grumberg and M. Huth",
    publisher    = "Springer-Verlag",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/5326-full.html"
}