Time-Critical Systems Design: A Survey | IEEE Journals & Magazine | IEEE Xplore