@misc{indiciae82360209c18a,
  title = {An \$ω\$-Algebra for Real-Time Energy Problems},
  author = {David Cachera and Uli Fahrenberg and Axel Legay},
  year = {2019},
  doi = {10.23638/lmcs-15(2:17)2019},
  url = {https://arxiv.org/abs/1701.08524},
  note = {Source identifier: 1701.08524}
}