@article{Belt_RHSCCMABCHHSKM_23,
    author           = {Jason Belt and John Hatcliff and John Shackleton and Jim Carciofini and Todd Carpenter and Eric
                        Mercer and Isaac Amundson and Junaid Babar and Darren Cofer and David Hardin and Karl Hoech and
                        Konrad Slind and Ihor Kuz and Kent Mcleod},
    doi              = {10.1016/j.sysarc.2022.102789},
    issn             = {1383-7621},
    journal          = {Journal of Systems Architecture},
    pages            = {102789},
    paperurl         = {https://trustworthy.systems/publications/papers/Belt_RHSCCMABCHHSKM_23.pdf},
    publisher        = {Elsevier},
    title            = {Model-driven development for the {seL4} microkernel using the {HAMR} framework},
    volume           = {134},
    year             = {2023}
  }