https://1library.org/document/yjkd3vpq-crixus-trucov-ferramenta-apoiar-estrutural-sistemas-embarcados-criticos.html