@inproceedings{Heiser_AEKKR_10,
    address          = {Chicago, IL, USA},
    author           = {Heiser, Gernot and Andronick, June and Elphinstone, Kevin and Klein, Gerwin and Kuz, Ihor and
                        Ryzhyk, Leonid},
    booktitle        = {ACM Workshop on Scalable Trusted Computing (ACMSTC)},
    keywords         = {operating systems, reliability, trustworthiness, verification, security, safety, reliability,
                        dependability, microkernels, embedded systems, trusted systems, proof},
    month            = oct,
    pages            = {3--10},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/4163.pdf},
    publisher        = {ACM},
    title            = {The Road to Trustworthy Systems},
    year             = {2010}
  }