@misc{Fernandez_KK_12_2,
    address          = {Hollywood, CA, USA},
    author           = {Fernandez, Matthew and Kuz, Ihor and Klein, Gerwin},
    howpublished     = {Poster presented at Operating Systems Design and Implementation 2012},
    keywords         = {camkes, sel4},
    month            = oct,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/6337.pdf},
    title            = {Formalisation of a Component Platform},
    year             = {2012}
  }