F. Werner, and D. Faragó. Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings, page 115--131. Springer, (2010)
A. Boulis, A. Fehnker, M. Fruth, and A. McIver. QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems, page 37--38. Washington, DC, USA, IEEE Computer Society, (2008)