@inproceedings{AJS19,
  	author =	{Andr{\'e}, {\'E}tienne and Jerray, Jawher and Mhiri, Sahar},
  	title =	{{Time4sys2imi}: A tool to formalize real-time system models under uncertainty},
	year =	{2019},
	longbooktitle = {Proceedings of the 16th International Colloquium on Theoretical Aspects of Computing ({ICTAC} 2019)},
	booktitle = {{ICTAC}},
	editor = {Hierons, Robert M. and Mosbah, Mohamed},
	location = {Hammamet, Tunisia},
	eventdate = {2019-10-31/2019-11-04},
	pages = {113--123},
	publisher = {Springer},
	volume = {11884},
	year = {2019},
	doi = {10.1007/978-3-030-32505-3_7},
	coreRank = {B},
}