Godoi, Robson, Rodrigo Ramos, and Augusto Sampaio.
"Uma Extensão do RUP para Modelagem Rigorosa de Sistemas Concorrentes." <em>Anais do XX Simpósio Brasileiro de Engenharia de Software,
Florianópolis, 2006</em>. SBC, 2006,  
pp.113-128.