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