Johann Schuster, Markus Siegle. Dependability modelling with the stochastic process algebra tool CASPA. In Arndt Bode, editor, Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems, DYADEM-FTS '10, Valencia, Spain, April 27, 2010. pages 35-36, ACM, 2010. [doi]
Abstract is missing.