@inproceedings{JW031998,
               author = {J. Gerlach, W. Rosenstiel},
               title = {Eine Umgebung zur transformationalen Entwurfsraum-Exploration.},
               booktitle = {GI/ITG/GMM Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen},
               year = {1998},
               month = {03},
               pages = {59-66},
               address = {Paderborn}
}