@misc{indiciaea6bc5531da3f,
  title = {Ærø: A Platform Architecture for Mixed-Criticality Airborne Systems},
  author = {Shibarchi Majumder and Jens Frederik Dalsgaard Nielsen and Thomas Bak},
  year = {2022},
  doi = {10.1109/tcad.2019.2960359},
  url = {https://arxiv.org/abs/2208.14158},
  note = {Source identifier: 2208.14158}
}