Recent Extensions to the Stochastic Process Algebra Tool CASPA | IEEE Conference Publication | IEEE Xplore