Modellbasierte Spezifikationsmethodik zur effizienten Systementwicklung von BrennstoffzellenantriebenRodrigo Biurrun SoteloÉpuiséPrévenez-moi