Vittorio Cortellessa Maurizio Gentile Performance Modeling and Validation of a Software System in a RT-UML-Based Simulative Environment. 52-59 2004 conf/isorc/2004 ISORC http://csdl.computer.org/comp/proceedings/isorc/2004/2124/00/21240052abs.htm db/conf/isorc/isorc2004.html#CortellessaG04