  @inproceedings{FitzroyDale_Kuz_09,
    address          = {Nuremberg, Germany},
    author           = {Fitzroy-Dale, Nicholas and Kuz, Ihor},
    booktitle        = {Workshop on Isolation and Integration in Embedded Systems},
    editor           = {{Michael Engel}},
    month            = mar,
    pages            = {6},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1696.pdf},
    title            = {Towards automatic optimisation of componentised systems},
    year             = {2009}
  }