@inproceedings{HW061998,
               author = {H. Garcez, W. Rosenstiel},
               title = {Constraints as Temporal Logic Formulas and its Verification using Model Checking},
               booktitle = {Workshop on Design, Test and Application},
               year = {1998},
               month = {06},
               address = {Dubrovnik, Croatia}
}