1. Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings;Behrmann,2001
2. Optimal scheduling using priced timed automata;Behrmann;Perform. Eval. Rev.,2005
3. How is your satellite doing? battery kinetics with recharging and uncertainty;Hermanns;LITES,2017
4. Leads acid battery storage model for hybrid energy systems;Manwell;Sol. Energy,1993
5. G. Nies, M. Stenger, J. Krcál, H. Hermanns, M. Bisgaard, D. Gerhardt, B. Haverkort, M. Jongerden, K. G. Larsen, E. R. Wognsen, Mastering Operational Limitations of leo Satellites-the Gomx-3 Approach.