Robson Godoi, Rodrigo Ramos, and Augusto Sampaio. 2006. Uma Extensão do RUP para Modelagem Rigorosa de Sistemas Concorrentes. In Anais do XX Simpósio Brasileiro de Engenharia de Software, October 16, 2006, Florianópolis, Brasil. SBC, Porto Alegre, Brasil, 113-128. DOI: https://doi.org/10.5753/sbes.2006.21208.