@inproceedings{Slind_HAS_20,
    address          = {Grand Wilea, Hawaii},
    author           = {Slind, Konrad and Hardin, David and {\AA}man Pohjola, Johannes and Sproul, Michael},
    booktitle        = {Hawaii International Conference on System Sciences},
    date             = {2020-1-7},
    doi              = {https://doi.org/10.24251/HICSS.2020.779},
    isbn             = {9780998133133},
    month            = jan,
    pages            = {6365-6374},
    paperurl         = {https://trustworthy.systems/publications/full_text/Slind_HAS_20.pdf},
    publisher        = {ScholarSpace / AIS Electronic Library},
    title            = {Synthesis of Verified Architectural Components for Autonomy Hosted on a Verified Microkernel},
    year             = {2020}
  }