TITLE     : Quantitative analysis of probabilistic models of software product lines with statistical model checking
AUTHOR(S) : Ter Beek M H, Legay A, Lluch Lafuente A, Vandin A
TYPE      : Conference article
YEAR      : 2015
CODE      : 329471

*** DO NOT EDIT THIS FILE ***