@inproceedings{086a1ed36abb4a6692e4a308ec092acf,
title = "Mastering operational limitations of LEO satellites - The GOMX3 approach",
keywords = "Kinetic battery model, Model checking, Nanosatellite, Priced timed automata, Resource-optimal scheduling, Risk assesment",
author = "Gilles Nies and Marvin Stenger and Jan Kr{\v c}{\'a}l and Holger Hermanns and Morten Bisgaard and David Gerhardt and Boudewijn Haverkort and Marijn Jongerden and Larsen, {Kim G.} and Wognsen, {Erik R.}",
year = "2016",
language = "English",
series = "Proceedings of the International Astronautical Congress, IAC",
publisher = "The International Astronautical Federation",
booktitle = "67th International Astronautical Congress, IAC 2016",
note = "null ; Conference date: 26-09-2016 Through 30-09-2016",
}