@misc{indiciae09210f70a23d,
  title = {Probabilistic Model Checking for Energy Analysis in Software Product Lines},
  author = {Clemens Dubslaff and Sascha Klüppelholz and Christel Baier},
  year = {2013},
  url = {https://arxiv.org/abs/1312.7758},
  note = {Source identifier: 1312.7758}
}