A tool for analyzing and fine tuning the real-time properties of an embedded system | IEEE Journals & Magazine | IEEE Xplore