@CONFERENCE\{IMM2005-04193,
    author       = "H. Pilegaard and F. Nielson and H. R. Nielson",
    title        = "Static analysis of a Model of the {LDL} degradation pathway",
    year         = "2005",
    month        = "apr",
    keywords     = "static analysis, systems biology, biological pathway, {LDL} degradation",
    booktitle    = "Third International Workshop on Computational Methods in Systems Biology (CMSB'05)",
    volume       = "",
    series       = "",
    editor       = "Gordon Plotkin",
    publisher    = "University of Edinburgh",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/4193-full.html",
    abstract     = "BioAmbients is a derivative of mobile ambients that has shown promise of
describing interesting features of the behaviour of biological systems.
As for other ambient calculi static program analysis can be used to
compute safe approximations of the behavior of modelled systems. We use
these tools to model and analyse the production of cholesterol in living
cells and show that we are able to pinpoint the difference in behaviour
between models of healthy systems and models of mutated systems giving rise to known diseases."
}