Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty. - Étienne André; Jawher Jerray; Sahar Mhiri (ICTAC, 2019)