ATCA control system hardware for the plasma vertical stabilization in the JET tokamak | IEEE Conference Publication | IEEE Xplore