?url_ver=Z39.88-2004&rft_id=10.4204%2FEPTCS.182.5&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aulast=ter+Beek&rft.aufirst=Maurice+H.&rft.au=ter+Beek%2C+Maurice+H.&rft.btitle=Proceedings+6th+Workshop+on+Formal+Methods+and+Analysis+in+SPL+Engineering&rft.issn=2075-2180&rft.title=Quantitative+Analysis+of+Probabilistic+Models+of+SoftwareProduct+Lines+with+Statistical+Model+Checking&rft.date=2015&rft.genre=proceeding