publicações selecionadas artigo de conferência Reliable Software Design Aided by QEMU Simulation 2021 teses Real-time linux and hardware accelerated systems on QEMU 2015