Verification And Validation Of A Safety System For A Fuel-Cell Research Facility: A Case Study