@inproceedings{FW101998,
               author = {F. Nascimento, W. Rosenstiel},
               title = {A co-synthesis approach based on symbolic reachability analysis},
               booktitle = {10. Brazilian Symposium on Integrated Circuit Design},
               year = {1998},
               month = {10},
               address = {Rio de Janeiro, Brazil}
}