@InProceedings{biemueller07l4based,
    author = {Sebastian Biemueller and Uwe Dannowski},
    title = {L4-Based Real Virtual Machines - An API Proposal},
    booktitle = {Proceedings of the MIKES 2007: First International Workshop 
                 on MicroKernels for Embedded Systems},
    address = {Sydney, Australia},
    month = Jan # "~16",
    year = 2007,
    pages = {36--42},
    affiliation = {University of Karlsruhe, Germany},
    URL = {http://l4ka.org/publications/}
}