Unified software development approach for the safety-critical ITER maintenance devices | Publicación