Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities | IEEE Conference Publication | IEEE Xplore