Gedare Bloom, Joel Sherrill, Gary Gilliland. Aligning Deos and RTEMS with the FACE Safety Base Operating System Profile. In Jalil Boukhobza, Marco D. Santambrogio, Frank Singhoff, editors, Proceedings of the Embedded Operating Systems Workshop co-located with the Embedded Systems Week (ESWEEK 2016), Pittsburgh PA, USA, October 6, 2016. Volume 1697 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [doi]