@misc{Heiser_17:acaces,
    author           = {Gernot Heiser},
    howpublished     = {Invited lecture series at ACACES Summer School, Italy},
    month            = jul,
    title            = {Operating Systems for Secure and Safe Embedded Systems},
    url              = {https://trustworthy.systems/publications/papers/Heiser_17:acaces.abstract.pml},
    year             = {2017}
  }