https://1library.org/document/zx2k2dnq-usando-modelagem-geracao-automatica-arquiteturas-teste-sistemas-tempo.html