A methodology for design, test, and evaluation of real-time systems | IEEE Journals & Magazine | IEEE Xplore