The OReK real-time micro kernel for FPGA-based systems-on-chip | IEEE Conference Publication | IEEE Xplore