Drupal-Bibcite<style face="normal" font="default" size="100%">DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems</style>