@inproceedings{HW1990,
               author = {H. Krämer, W. Rosenstiel},
               title = {System Synthesis using Behavioural Descriptions},
               booktitle = {EDAC},
               publisher = {IEEE Computer Society Press},
               year = {1990},
               pages = {277-282},
}