MODELA DBT: Model-driven elaboration language applied to dynamic binary translation - Salgado, Filipe Alexandre Andrade (2017)