Holger Hermanns, Kim Guldstrand Larsen, Jean-François Raskin, Jan Tretmans. Quantitative system validation in model driven design. In Luca P. Carloni, Stavros Tripakis, editors, Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010. pages 301-302, ACM, 2010. [doi]
Abstract is missing.