Digital control of a fuel cell converter system: Verification, validation and test using a model-based design approach | IEEE Conference Publication | IEEE Xplore