Real-Time Systems in Tokamak Devices. A Case Study: The JET Tokamak | IEEE Journals & Magazine | IEEE Xplore