A joint project with Rob Pooley and Peter King at Heriot Watt in Edinburgh. Investigates extending UML state charts with stochastic and probabilistic actions. Via a translation to Tony Field's Stochastic FSP, we are able to analyse the model for passage time quantiles and quality-of-service metrics.