Probabilistic Model Checking for Energy Analysis in Software Product Lines. Dubslaff, C.; Klüppelholz, S.; and Baier, C. In Proc. Modularity (MODULARITY'14), pages 169–180, 2014. ACM.
Link bibtex @inproceedings{DKB14,
Author = {C. Dubslaff and S. Kl{\"u}ppelholz and C. Baier},
Booktitle = {Proc. Modularity (MODULARITY'14)},
Ee = {http://doi.acm.org/10.1145/2577080.2577095},
Pages = {169--180},
Publisher = {ACM},
Title = {Probabilistic Model Checking for Energy Analysis in Software Product Lines},
Year = {2014}}