Uma Extensão do RUP para Modelagem Rigorosa de Sistemas Concorrentes.