Real-time systems in tokamak devices. A case study: The JET tokamak | IEEE Conference Publication | IEEE Xplore