@misc{Heiser_13:lund,
    author           = {Gernot Heiser},
    howpublished     = {Invited talk at {LCCC} Workshop on Formal Verification of Embedded Control Systems},
    month            = apr,
    note             = {Lund University, Sweden},
    title            = {Towards Verified Real-World Systems},
    year             = {2013}
  }