A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems - Ter Beek, Maurice H.; Legay, Axel; Lafuente, Alberto Lluch; Vandin, Andrea (IEEE transactions on software engineering, 2020)
Keywords: Analytical models; Computational modeling; Computer models; Configurations; Domain specific languages; DSL; formal methods; Markov chains; Model checking; Probabilistic analysis; Probabilistic logic; probabilistic modeling; Programming languages; Quantitative analysis; quantitative constraints; Runtime; Semantics; Software development; Software product lines; Statistical analysis; statistical model checking; Statistical models; Utilities