A Hardware-in-the-Loop Simulation Platform for the Verification and Validation of Safety Control Systems | IEEE Journals & Magazine | IEEE Xplore