@CONFERENCE\{IMM2004-03317,
    author       = "D. Bj{\o}rner and C. W. George and A. E. Haxthausen and C. K. Madsen and S. Holmslykke and M. Penicka",
    title        = "''UML-ising{''} Formal Techniques",
    year         = "2004",
    pages        = "423 - 450",
    booktitle    = "Proceedings of {INT'}2004 - Integration of Software Specification Techniques for Applications in Engineering",
    volume       = "",
    series       = "Lecture Notes in Computer Science",
    editor       = "",
    publisher    = "Springer",
    organization = "",
    address      = "",
    note         = "Invited paper",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/3317-full.html"
}