TY  - RPRT
TI  - Bounded Model Checking of an MITL Fragment for Timed Automata
AU  - Roland Kindermann
AU  - Tommi Junttila
AU  - Ilkka Niemelä
PY  - 2013
UR  - https://arxiv.org/abs/1304.7209
ID  - 1304.7209
ER  -