https://1library.org/document/ynl1xg1q-geracao-automatica-diagramas-uml-rt-partir-especificacoes-csp.html