Editorial: special section on dependable real-time systems | IEEE Journals & Magazine | IEEE Xplore