Dernehl, ChristianHansen, NormanGerlitz, ThomasKowalewski, StefanCunningham, Douglas W.Hofstedt, PetraMeer, KlausSchmitt, Ingo2017-06-302017-06-302015978-3-88579-640-4enStatic value range analysis for Matlab/simulink-modelsText/Conference Paper1617-5468