RATAN: A tool for rate analysis and rate constraint debugging for embedded systems | IEEE Conference Publication | IEEE Xplore