Evaluation of Open Source Operating Systems for Safety-Critical Applications. - Petter Sainio Berntsson; Lars Strandén; Fredrik Warg (SERENE, 2017)