@CONFERENCE\{IMM2001-0538,
    author       = "D. Bj{\o}rner",
    title        = "On formal techniques in protocol engineering - example challenges",
    year         = "2001",
    month        = "aug",
    pages        = "395-420",
    booktitle    = "{IFIP} WG6.1 Formal Techniques for Networked and Distributed Systems",
    volume       = "",
    series       = "",
    editor       = "Kluwer",
    publisher    = "",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/538-full.html"
}