@misc{indiciae85cc9d71670a,
  title = {Temporal Properties in Component-Based Cyber Physical Systems - Appendix},
  author = {Tobias Sehnke and Matthias Schultalbers and Rolf Ernst},
  year = {2017},
  url = {https://arxiv.org/abs/1711.09130},
  note = {Source identifier: 1711.09130}
}