TY  - RPRT
TI  - Temporal Properties in Component-Based Cyber Physical Systems - Appendix
AU  - Tobias Sehnke
AU  - Matthias Schultalbers
AU  - Rolf Ernst
PY  - 2017
UR  - https://arxiv.org/abs/1711.09130
ID  - 1711.09130
ER  -