R. Godoi, R. Ramos, and A. Sampaio. "Uma Extensão do RUP para Modelagem Rigorosa de Sistemas Concorrentes", in Anais do XX Simpósio Brasileiro de Engenharia de Software, Florianópolis, 2006, pp. 113-128, doi: https://doi.org/10.5753/sbes.2006.21208.