@ARTICLE\{IMM1998-01559,
    author       = "T. Amtoft and H. Riis Nielson and F. Nielson",
    title        = "Behaviour Analysis for Validating Communication  Patterns",
    year         = "1998",
    pages        = "13-28",
    journal      = "Software Tools for Technology Transfer",
    volume       = "2",
    editor       = "",
    number       = "1",
    publisher    = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1559-full.html"
}