ReTiS: a real-time simulation tool for the analysis of distributed real-time applications | IEEE Conference Publication | IEEE Xplore