Stefan KowalewskiBooksFormal Methods for Industrial Critical SystemsModelling and Control of Hybrid Dynamical SystemsEmissionszertifikatehandel Im Europäischen LuftverkehrAuthor data: Open Library