Vittorio Cortellessa Pierluigi Pierini Daniele Rossi 0002 On the adequacy of UML-RT for performance validation of an SDH telecommunication system. 121-124 2005 conf/isorc/2005 ISORC http://doi.ieeecomputersociety.org/10.1109/ISORC.2005.41 db/conf/isorc/isorc2005.html#CortellessaPR05