@inproceedings{RGGW1989,
               author = {R. Amann, G. Neher, G. Rietsche, W. Rosenstiel},
               title = {CASTOR: FSM Synthesis in a Digital Circuit Synthesis System},
               booktitle = {ESSCIRC},
               year = {1989},
               pages = {105-108},
}