@inproceedings{HW091997,
               author = {H. Garcez, W. Rosenstiel},
               title = {Coverification of timing properties},
               booktitle = {International Workshop on Conjoint Systems Engineering CONSYSE},
               year = {1997},
               month = {09},
               address = {Bad Tölz}
}