TY  - RPRT
TI  - Time4sys2imi: A tool to formalize real-time system models under uncertainty
AU  - Étienne André
AU  - Jawher Jerray
AU  - Sahar Mhiri
PY  - 2019
DO  - 10.1007/978-3-030-32505-3_7
UR  - https://arxiv.org/abs/1907.13447
ID  - 1907.13447
ER  -