publicações selecionadas artigo de conferência RT-SHADOWS: Real-time system hardware for agnostic and deterministic OSes within softcore 2015
