Going beyond worst-case specs with TEAtime | IEEE Journals & Magazine | IEEE Xplore