Service-oriented systems are designed for interconnecting with other systems. The provided services face timing constraints, the so-called latencies. We present a high-level performance evaluation technique that can be used by a system designer to obtain distributions of these latencies. This technique is capable of capturing nondeterministic, probabilistic and real-time aspects in one go. It comes with an efficient algorithm that combines basic estimates, simulation, and (probabilistic) model checking. Thereby, the techinque makes use of different underlying formalisms, such as Stochastic Timed Automata (STA), Probabilistic Timed Automata (PTA) and Timed Automata (TA).