Performance Modeling and Validation of a Software System in a RT-UML-Based Simulative Environment. - Vittorio Cortellessa; Maurizio Gentile (ISORC, 2004)