https://1library.org/document/yronm0jy-tangram-ferramenta-apoio-verificacao-formal-sistemas-baseados-componentes.html