, Saarland University, Saarland Informatics Campus, Saarbrücken, Germany

• Leibniz Transactions on Embedded Systems Vol. 4 No. 1 (2017)
  Special Issue on Quantitative Evaluation of Systems
  How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty
  PDF