@inproceedings{TUW-109348, author = {Holzer, Martin and Belanovic, Pavle and Knerr, Bastian and Rupp, Markus}, title = {Automatic Design Techniques for Embedded Systems}, booktitle = {Proceedings of GI/ITG/GMM Workshop Modellierung und Verifikation}, year = {2005}, numpages = {10}, url = {http://publik.tuwien.ac.at/files/pub-et_10213.pdf}, note = {talk: GI/ITG/GMM Workshop Modellierung und Verifikation, Munich, Germany; 2005-04-06 -- 2005-04-07} }