https://1library.org/document/zgxp8jnq-geracao-objetivos-sistemas-reativos-baseada-tecnica-verificacao-modelos.html