Modelling and performance analysis of clinical pathways using the stochastic process algebra PEPA - Yang,X; Han,R; Guo,Y; Bradley,J; Cox,B; Dickinson,R; Kitney,R (Bmc Bioinformatics, 2012)