Ésik, Z., Fahrenberg, U., Legay, A., & Quaas, K. (2017). An algebraic approach to energy problems I - continuous Kleene ω-algebras ‡. Acta Cybernetica, 23(1), 203-228. https://doi.org/10.14232/actacyb.23.1.2017.13