@misc{Heiser_10:iids,
    howpublished     = {Invited Talk at Workshop on Isolation and Integration for Dependable Systems, Paris, France},
    month            = apr,
    author           = {Gernot Heiser},
    title            = {The {L4} Microkernel --- from Research to Mass Deployment and Back},
    year             = {2010}
  }