@INCOLLECTION\{IMM1993-02009,
    author       = "K. Ranerup and L. Philipson and J. Madsen and O. Olesen and G. Janssen",
    title        = "Controller Synthesis and Verification",
    year         = "1993",
    month        = "may",
    pages        = "211 - 232",
    booktitle    = "\{Application-Driven Architecture Synthesis\}",
    volume       = "",
    number       = "",
    series       = "",
    publisher    = "",
    address      = "",
    edition      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2009-full.html"
}