@inproceedings{MWMMDG2013,
               author = {M. Dobler, W. Rosenstiel, M. Bogdan, M. Rafaila, D. Hammerschmidt, G. Pelz},
               title = {Rapid Design Space Exploration of a State-of-the-art PSI 5 Controller},
               booktitle = {Proceedings Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
               year = {2013},
}