The New Feedback Control System of RFX-mod Based on the MARTe Real-Time Framework | IEEE Journals & Magazine | IEEE Xplore