Resumo de sistemas em TR willian.docx
Integrando UML e UPPAAL para projetar, especificar e verificar componente baseado em sistemas de tempo real