@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} }