@inproceedings{Ruocco_06,
    address          = {Dresden, DE},
    author           = {Sergio Ruocco},
    booktitle        = {Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT)},
    month            = jul,
    paperurl         = {https://trustworthy.systems/publications/papers/Ruocco_06.pdf},
    title            = {{Real-Time Programming and L4 Microkernels}},
    year             = {2006}
  }