Tribastone, Mirco Scalable differential analysis of large process algebra models. In: Proceedings of the 7th International Conference on the Quantitative Evaluation of Systems (QEST). IEEE, p. 307. ISBN 978-1-4244-8082-1 (2010)