Brauer, Jörg
[Author];
Lukoschus, Ben
[Author];
Ferdinand, Christian
[Author];
Grafe, Nicolas
[Author];
Hahn, Sebastian
[Author];
Kästner, Daniel
[Author]
;
Verified Systems International GmbH,
Absint Angewandte Informatik GmbH,
Technische Universität Kaiserslautern