@inproceedings{NicoleRTAS21,
  author = {Olivier Nicole and Matthieu Lemerre and S{\'{e}}bastien Bardin and
            Xavier Rival},
  title = {No Crash, No Exploit: Automated Verification of Embedded Kernels},
  booktitle = {27th {IEEE} Real-Time and Embedded Technology and Applications
               Symposium},
  pages = {27--39},
  publisher = {{IEEE}},
  year = {2021},
  month = {5},
  doi = {10.1109/RTAS52030.2021.00011},
  series = {RTAS 2021},
}