Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA. - Michael Günther 008; Johann Schuster; Markus Siegle (DYADEM-FTS@EDCC, 2010)