TY  - RPRT
TI  - Executable Interval Temporal Logic Specifications
AU  - Antonio Cau
AU  - Stefan Kuhn
AU  - James Hoey
PY  - 2021
DO  - 10.1007/978-3-030-79837-6_13
UR  - https://arxiv.org/abs/2105.03375
ID  - 2105.03375
ER  -