@misc{indiciae0a2574213f7d,
  title = {Compositionality for Quantitative Specifications},
  author = {Uli Fahrenberg and Jan Křetínský and Axel Legay and Louis-Marie Traonouez},
  year = {2017},
  url = {https://arxiv.org/abs/1408.1256},
  note = {Source identifier: 1408.1256}
}