Performance modeling and validation of a software system in a RT-UML-based simulative environment