Performance modeling and validation of a software system in a RT-UML-based simulative environment | IEEE Conference Publication | IEEE Xplore