Variability Management of Reliability Models in Software Product Lines: An Expressiveness and Scalability Analysis | IEEE Conference Publication | IEEE Xplore