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