@inproceedings{JTW1999,
               author = {J. Gerlach, T. Klöpfer, W. Rosenstiel},
               title = {Algorithmischer Ansatz zur automatisierten Entwurfsraum-Exploration auf hoher Abstraktionsebene},
               booktitle = {Tagungsband Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen},
               publisher = {Shaker Verlag},
               year = {1999},
}