https://1library.org/document/y8g09l4z-rtev-ambiente-desenvolvimento-aplicacoes-reconfiguraveis-kernel-tempo-virtuoso.html