@CONFERENCE\{IMM1994-02055,
    author       = "M. U. S{\o}rensen and O. E. Hansen and H. H. L{\o}vengreen",
    title        = "Combining Temporal Specification Techniques",
    year         = "1994",
    month        = "jul",
    pages        = "1-16",
    booktitle    = "{ICTL} '94 Temporal Logic",
    volume       = "827",
    series       = "Lecture Notes in Artificial Intelligence",
    editor       = "D.M. Gabbay and H.J. Ohlbach",
    publisher    = "Springer-Verlag",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2055-full.html"
}