Publication [BisgaardGHKNS19] Battery-aware scheduling in low orbit: the GomX-3 case Bisgaard, M.; Gerhardt, D.; Hermanns, H.; Krcál, J.; Nies, G. and Stenger, M. In Formal Aspects Comput., 31: 261-285, 2019. doi.. Downloads: bibURL: https://doi.org/10.1007/s00165-018-0458-2
