1. Certifying linux: Lessons learned in three years of SIL2linuxmp;Platschek,2018
2. I. Allende, N. Mc Guire, J. Perez, L. G. Monsalve, N. Uriarte, Obermaisser R., Towards Linux for the development of mixed-criticality embedded systems based on multi-core devices, in: 15th European Dependable Computing Conference, EDCC, 2019, pp. 47–54.
3. Enabling linux in safety applications (ELISA),2020
4. SIL2linuxmp: OSADL - open source automation development lab eg;contributors,2019
5. Nicholas Mc Guire, Peter Okech, Georg Schiesser, Analysis of inherent randomness of the Linux kernel, in: Proc. 11th Real-Time Linux Workshop, 2009.