@inproceedings{Elkaduwe_DE_07,
    month            = jan,
    organization     = {NICTA},
    paperurl         = {https://trustworthy.systems/publications/papers/Elkaduwe_DE_07.pdf},
    booktitle        = {International Workshop on Microkernels for Embedded Systems},
    author           = {Dhammika Elkaduwe and Philip Derrin and Kevin Elphinstone},
    year             = {2007},
    address          = {Sydney, Australia},
    pages            = {28--34},
    title            = {A Memory Allocation Model for an Embedded Microkernel}
  }