Publikation
Philipp Niemann; Frank Hilken; Martin Gogolla; Robert Wille
In: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE). Design, Automation & Test in Europe (DATE-15), March 9-13, Grenoble, France, ISBN 978-3-9815370-4-8, 2015.