Real-Time Systems in Tokamak Devices. A Case Study: The JET Tokamak | Publicación