BISGAARD, Morten, David GERHARDT, Holger HERMANNS,
Jan KRČÁL, Gilles NIES a Marvin STENGER. Battery-Aware Scheduling in Low Orbit: The GomX–3 Case. Online. In
FM 2016: Formal Methods: 21st International Symposium. Berlin: Springer International Publishing., 2016, s. 559-576. ISBN 978-3-319-48988-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-48989-6_34.