ter Beek, Maurice H. and Legay, Axel and Lluch Lafuente, Alberto and Vandin, Andrea  Quantitative Analysis of Probabilistic Models of SoftwareProduct Lines with Statistical Model Checking.  In: 6th Workshop on Formal Methods and Analysis in SPL Engineering, April 11, 2015, London, UK pp. 56-70. ISSN 2075-2180.       (2015)