@inproceedings{HW1998,
               author = {H. Garcez, W. Rosenstiel},
               title = {Coverification Framework},
               booktitle = {SBCCI 98 B├║zios, RJ pag},
               publisher = {IEEE Press},
               year = {1998},
               pages = {103-107},
}