@CONFERENCE\{IMM1996-01888,
    author       = "S. M{\o}rk and J. Godskesen and M. R. Hansen and R. Sharp",
    title        = "A Timed Semantics for {SDL}",
    year         = "1996",
    pages        = "295-309",
    booktitle    = "Formal Description Techniques {IX}: Theory, application and tools",
    volume       = "",
    series       = "",
    editor       = "R. Gotzhein and J. Bredereke",
    publisher    = "Chapman \& Hall",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1888-full.html"
}