Time-Critical Systems Design, Part II | IEEE Journals & Magazine | IEEE Xplore